690 search results - page 59 / 138 » Testing Temporal Logic Properties in Distributed Systems |
120
click to vote
RTAS
2007
IEEE
15 years 9 months ago
2007
IEEE
Discrete-event (DE) models are formal system specifications that have analyzable deterministic behaviors. Using a global, consistent notion of time, DE components communicate via...
FMSD
2002
15 years 2 months ago
2002
Abstract. We de ne a concurrent mobile system as one where independently executing components may migrate through some space during the course of the computation, and where the pat...
155
click to vote
IGPL
2011
14 years 6 months ago
2011
A residuated algebra (RA) is a generalization of a residuated groupoid; instead of one basic binary operation · with residual operations \, /, it admits finitely many basic oper...
146
click to vote
CIKM
2010
Springer
15 years 1 months ago
2010
Springer
This paper introduces the notion of temporally constrained ranked retrieval, which, given a query and a time constraint, produces the best possible ranked list within the specifi...
115
click to vote
ICSE
2009
IEEE-ACM
15 years 25 days ago
2009
IEEE-ACM
Aerospace systems have strict dependability and real-time requirements, as well as a need for flexible resource reallocation and reduced size, weight and power consumption. To cope...