554 search results - page 76 / 111 » Modeling and Reasoning about Service Behaviors and Their Com... |
119
click to vote
VALUETOOLS
2006
ACM
15 years 8 months ago
2006
ACM
Run-time management of modern Web-based services requires the integration of several algorithms and mechanisms for job dispatching, load sharing, admission control, overload detec...
128
click to vote
PLDI
2012
ACM
13 years 4 months ago
2012
ACM
Modern architectures implement relaxed memory models which may reorder memory operations or execute them non-atomically. Special instructions called memory fences are provided, al...
159
click to vote
DATE
2007
IEEE
15 years 8 months ago
2007
IEEE
Solid frameworks and toolkits for design and analysis of embedded systems are of high importance, since they enable early reasoning about critical properties of a system. This pap...
125
click to vote
FMCO
2007
Springer
15 years 8 months ago
2007
Springer
This article considers the coordination language Reo, a Petri net variant called zero-safe nets, and intuitionistic temporal linear logic (ITLL). The first part examines the seman...
121
click to vote
TSE
2008
15 years 1 months ago
2008
Timed Automata have proven to be useful for specification and verification of real-time systems. System design using Timed Automata relies on explicit manipulation of clock variabl...