1588 search results - page 211 / 318 » Modular action language |
105
click to vote
DEDS
2002
15 years 3 months ago
2002
Abstract. We consider a generalized form of the conventional decentralized control architecture for discreteevent systems where the control actions of a set of supervisors can be `...
245
click to vote
ASPLOS
2009
ACM
16 years 4 months ago
2009
ACM
Future processors are expected to observe increasing rates of hardware faults. Using Dual-Modular Redundancy (DMR), two cores of a multicore can be loosely coupled to redundantly ...
136
click to vote
ESOP
2004
Springer
15 years 9 months ago
2004
Springer
t) Peter W. O’Hearn Queen Mary, University of London In the 1960s Dijkstra suggested that, in order to limit the complexity of potential process interactions, concurrent programs...
116
click to vote
NIME
2004
Springer
15 years 9 months ago
2004
Springer
On-the-fly programming is a style of programming in which the programmer/performer/composer augments and modifies the program while it is running, without stopping or restarting, ...
148
click to vote
ICALP
2007
Springer
15 years 5 months ago
2007
Springer
Adaptive security, while more realistic as an adversarial model, is typically much harder to achieve compared to static security in cryptographic protocol design. Universal composi...