One of the designs of cellular manufacturing systems (CMS) requires that a machine population be partitioned into machine cells. Numerous methods are available for clustering machines into machine cells. One method involves using a similarity coefficient. Similarity coefficients between machines are not absolute, and they still need more attention from researchers. Although there are a number o...

purpose : to report a rare case of isolated orbital mucocele after trauma case report : a 45-year-old man presented with swelling in the left orbital region. the only significant event in his medical history was trauma which occurred 25 years previously during the iran-iraq war. computed tomography revealed a left medial intraorbital cystic mass lesion. the cystic mass was completely removed th...

purpose: to present the success of novel method for management of conjunctival orbital inclusion cysts following enucleation after using trichloroacetic acid injection technique. methods: a 20% tca solution was injected to treat 6 cases of orbital conjuctival cyst in anophthalmic socket. results: all the patients were treated successfully. the follow-up interval was 1-7 years. no recurrence or ...

We describe an automated partial evaluator for evolving algebras implemented at the University of Michigan.

This paper presents an approach to dynamic public service mediation. It is based on a conceptual model and the use of search and ranking algorithms. The conceptual model is based on Abstract State Machine theory. Requirements for dynamic service mediation were derived from a real-world case. The conceptual model and the algorithms are developed and implemented by a proof of concept for this cas...

This paper tackles some aspects concerning the exploitation of Abstract State Machines (ASMs) for testing purposes. We define for ASM specifications a set of adequacy criteria measuring the coverage achieved by a test suite, and determining whether sufficient testing has been performed. We introduce a method to automatically generate from ASM specifications test sequences which accomplish a des...

Coordination in distributed environments, like Grids, involves selecting the most appropriate services, resources or compositions to carry out the planned activities. Such functionalities appear at various levels of the infrastructure and in various means forming a blurry domain, where it is hard to see how the participating components are related and what their relevant properties are. In this...

This paper discusses security issues and considers the extent to which internal relations among entities in a system should be taken into account when carrying out security analysis. We present a concrete and flexible security model expressed in terms of the internal relations in the system, rather than abstract state machines. Based on this model, security analysis can be carried out by decomp...

State Machines: Verification Problems and Complexity Von der Fakultät für Mathematik, Informatik und Naturwissenschaften der Rheinisch-Westfälischen Technischen Hochschule Aachen zur Erlangung des akademischen Grades eines Doktors der Naturwissenschaften genehmigte Dissertation vorgelegt von Diplom-Informatiker Marc Spielmann aus Duisburg Referent: Universitätsprofessor Dr. E. Grädel Koreferent...