5183 search results - page 447 / 1037 » The Complexity of Distributions |
157
Voted
PROMAS
2005
Springer
16 years 10 days ago
2005
Springer
The paper presents a way to robustly command a system of systems as a single entity. Instead of modeling each component system in isolation and then manually crafting interaction p...
166
click to vote
CONCUR
2004
Springer
16 years 7 days ago
2004
Springer
In this paper, we study the complexity of model-checking formulas of three important real-time logics (MTL, MITL, and TCTL) over restricted sets of timed paths. The classes of rest...
285
click to vote
ESOP
2004
Springer
16 years 7 days ago
2004
Springer
The Ambient calculus is a successful model of distributed, mobile computation, and has been the vehicle of new ideas for resource access control. Mobility types have been used to e...
162
click to vote
ICCS
2004
Springer
16 years 7 days ago
2004
Springer
In this paper we present a new infrastructure for building distributed applications that communicate through remote objects. The objects are available by the use of the Java RMI, e...
166
Voted
FORMATS
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. This paper presents a model-checking approach for analyzing discrete-time Markov reward models. For this purpose, the temporal logic probabilistic CTL is extended with re...