The paper presents our efforts in defining UASM, a unified syntax for Abstract State Machines (ASMs), based on the syntaxes of two of the main ASM frameworks, CoreASM and ASMETA, which have been adapted to accept UASM as input syntax of all their validation and

• Durch die starke Vernetzung ehemals unabhängiger Funktionen ergeben sich ungewollte Interaktionen und Seiteneffekte durch Nebenläufigkeit. Als Beispiel sei hier die Zentralverriegelung genannt, die neben der reinen Funktionalität des Verund Aufschließens mit Komfortfunktionen zum Einstellen von Sitz, Spiegeln und Radiosendern in Abhängigkeit vom verwendeten Schlüssel, mit Sicherheitsfunktione...

Minimum or no-till seeding technology is the core of conservation tillage, which can effectively reduce soil degradation by water and wind erosion. It an essential part agricultural modernization. The anti-blocking key to realize minimum technology. According principle, it be divided into three types: straw-flowing type, gravity-cutting stubble power-driven type. Emphasis placed on technical ch...

In this paper we evaluate the usefulness of seeding genetic algorithms (GAs) from a case-base. This is motivated by the expectation that the seeding will speed up the GA by starting the search in promising regions of the search space. We evaluate this case-based seeding on popular GA solutions to the Travelling Salesman Problem (TSP) and the Job-Shop Scheduling Problem (JSSP). We find that seed...

Understanding the process of software adoption is of paramount importance to software start-ups. We study a monopolistic seller’s optimal seeding, sequencing, and pricing strategies under network effects. We demonstrate the importance of adoption sequencing as well as controllability over the seeding process to seller’s profit, consumer surplus, and social welfare. Under multi-pricing, full inf...

It is well known that cheating occurs in sports. In cup competitions, a common type of sports competition, one method of cheating is in manipulating the seeding to unfairly advantage a particular team. Previous empirical and theoretical studies of seeding manipulation have focused on competitions with unrestricted seeding. However, real cup competitions often place restrictions on seedings to e...

Retinoblastoma has the unique capacity to accelerate its own intra-ocular propagation by adopting semi-solid or even liquid growth properties through seeding. Until recently, the presence of any degree of seeding was mostly incompatible with successful conservative management, due to the multiresistant nature of the seeds. Surprisingly, this well-recognized retinoblastoma behavior has not under...

Article history: Received 20 February 2013 Received in revised form 11 October 2013 Accepted 5 February 2014 Available online xxxx

State Machines at the Cusp of the Millenium