7557 search results - page 180 / 1512 » Modeling Timed Concurrent Systems |
193
click to vote
CBSE
2004
Springer
15 years 11 months ago
2004
Springer
Safety critical embedded real-time systems represent a class of systems that has attracted relatively little attention in research addressing component based software engineering. ...
172
click to vote
APLAS
2007
ACM
15 years 10 months ago
2007
ACM
Abstract. Given the combinatorial nature of cellular signalling pathways, where biological agents can bind and modify each other in a large number of ways, concurrent or agent-base...
263
click to vote
SIGMOD
2005
ACM
16 years 6 months ago
2005
ACM
Immortal DB builds transaction time database support into the SQL Server engine, not in middleware. Transaction time databases retain and provide access to prior states of a datab...
130
click to vote
INFORMATICALT
2006
15 years 6 months ago
2006
This paper discusses the determination of the spare inventory level for a multiechelon repairable item inventory system, which has several bases and a central depot with emergency ...
169
click to vote
SPIN
2004
Springer
15 years 11 months ago
2004
Springer
We propose a new framework for black-box conformance testing of real-time systems, where specifications are modeled as nondeterministic and partially-observable timed automata. We...