49 search results - page 7 / 10 » Strengthening Property Preservation in Concurrent Real-Time ... |
106
Voted
GROUP
2003
ACM
15 years 7 months ago
2003
ACM
Reconciliating divergent data is an important issue in concurrent engineering, mobile computing and software configuration management. Currently, a lot of synchronizers or merge ...
143
click to vote
IANDC
2007
15 years 1 months ago
2007
We define reactive simulatability for general asynchronous systems. Roughly, simulatability means that a real system implements an ideal system (specification) in a way that pre...
148
click to vote
SIGSOFT
2007
ACM
16 years 2 months ago
2007
ACM
Product Data Management (PDM) and Software Configuration Management (SCM) are the disciplines of building and controlling the evolution of a complex artifacts; either physical or ...
126
click to vote
ICALP
1994
Springer
15 years 6 months ago
1994
Springer
When provingthe correctness of algorithmsin distributed systems, one generally considers safety conditions and liveness conditions. The Input Output I O automaton model and its ti...
225
Voted
AUTOMATICA
2011
14 years 8 months ago
2011
Fluidification constitutes a relaxation technique for studying discrete event systems through fluidified approximated models, thus avoiding the state explosion problem. Moreove...