7557 search results - page 174 / 1512 » Modeling Timed Concurrent Systems |
147
Voted
ICDE
2006
IEEE
16 years 13 days ago
2006
IEEE
The CVS (Concurrent Versions System) software is a popular method for recording modifications to data objects, in addition to concurrent access to data in a multi-user environmen...
231
click to vote
HPTS
1993
15 years 10 months ago
1993
Elements of transaction processing become more and more accepted as a base for general purpose distributed computing.We have developed an action concept with an extended functiona...
183
click to vote
IANDC
2008
15 years 6 months ago
2008
Timed Petri nets and timed automata are two standard models for the analysis of real-time systems. In this paper, we prove that they are incomparable for the timed language equival...
256
click to vote
TII
2011
15 years 1 months ago
2011
Abstract—Software systems that do not meet their timing constraints can cause risks. In this work, we propose a comprehensive method for assessing the risk of timing failure by e...
169
click to vote
CONCUR
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Control synthesis is slowly transcending its traditional application domain within engineering to find interesting and useful applications in computer science. Synthesis...