7557 search results - page 9 / 1512 » Modeling Timed Concurrent Systems |
127
click to vote
ISORC
2005
IEEE
15 years 6 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
119
click to vote
VLDB
1990
ACM
15 years 5 months ago
1990
ACM
Real-time database systems incorporate the notion of a deadline into the database system model. USUally, deadlines are associated with transactions, and the system attempts to exe...
121
click to vote
ECRTS
2008
IEEE
15 years 7 months ago
2008
IEEE
Embedded services and applications that interact with the real world often, over time, need to run on different kinds of hardware (low-cost microcontrollers to powerful multicore ...
115
click to vote
AB
2007
Springer
15 years 7 months ago
2007
Springer
We present SpiCO, a new modeling and simulation language for systems biology. SpiCO is based on the stochastic π-calculus. It supports higher level modeling via multi-profile con...
111
click to vote
SOFSEM
2007
Springer
15 years 7 months ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...