10707 search results - page 210 / 2142 » Designing executable abstractions |
115
click to vote
FMSB
2008
15 years 5 months ago
2008
Petri nets are a widely used formalism to qualitatively model concurrent systems such as a biological cell. We present techniques for modelling biological processes as Petri nets f...
146
click to vote
ISORC
2008
IEEE
15 years 10 months ago
2008
IEEE
Cyber-Physical Systems (CPS) are integrations of computation and physical processes. Embedded computers and networks monitor and control the physical processes, usually with feedb...
140
click to vote
APN
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Behaviour specification in object-oriented design clearly benefits from the use of a formal, or semi-formal, visual specification language. This is attested by the ado...
135
click to vote
CONCUR
2000
Springer
15 years 8 months ago
2000
Springer
Concurrency is an essential element of abstract models for embedded systems. Correctness and e ciency of the design depend critically on the way concurrency is formalized and imple...
121
click to vote
EMSOFT
2004
Springer
15 years 9 months ago
2004
Springer
Embedded systems are electronic devices that function in the context of a real environment, by sensing and reacting to a set of stimuli. Because of their close interaction with th...