690 search results - page 59 / 138 » Testing Temporal Logic Properties in Distributed Systems |
105
Voted
RTAS
2007
IEEE
15 years 6 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 10 days 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...
135
click to vote
IGPL
2011
14 years 4 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...
123
Voted
CIKM
2010
Springer
14 years 11 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...
ICSE
2009
IEEE-ACM
14 years 10 months 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...