100 search results - page 12 / 20 » Formal Executable Descriptions of Biological Systems |
126
click to vote
LICS
2010
IEEE
14 years 10 months ago
2010
IEEE
ing the differential semantics of rule-based models: exact and automated model reduction (Invited Lecture) Vincent Danos∗§, J´erˆome Feret†, Walter Fontana‡, Russell Harme...
110
click to vote
SDL
2007
15 years 1 months ago
2007
Describing an application as a simple composition of services allows advanced features that exploit different platforms to be conceived e formalized at a high abstraction level. S...
130
click to vote
EBERNBURG
1990
15 years 4 months ago
1990
In the theory of living systems any description of self-organizing processes is confronted by a very central problem concerning the role of the system's boundary, i.e., there...
83
Voted
APSEC
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key propertie...
91
Voted
COOPIS
2004
IEEE
15 years 4 months ago
2004
IEEE
More and more companies use "process aware" information systems to make their business processes more efficient. To do this, workflow definitions must be formulated in a ...