690 search results - page 55 / 138 » Testing Temporal Logic Properties in Distributed Systems |
122
click to vote
IANDC
2011
14 years 7 months ago
2011
Partial transition systems support abstract model checking of complex temporal propercombining both over- and under-approximatingabstractions into a single model. Over the years, ...
100
click to vote
FUIN
2008
15 years 19 days ago
2008
We are concerned with the problem of defining a complex, hybrid, agent based discrete system in a modular way. The modularity results from looking at the system from a number of di...
109
Voted
ICPR
2004
IEEE
16 years 1 months ago
2004
IEEE
We present a novel representation of cyclic human locomotion based on a set of spatio-temporal curves of tracked points on the surface of a person. We start by extracting a set of...
102
click to vote
FORMATS
2006
Springer
15 years 4 months ago
2006
Springer
We consider interval measurement logic IML, a sublogic of Zhou and Hansen's interval logic, with measurement functions which provide real-valued measurement of some aspect of ...
111
Voted
EKAW
2010
Springer
14 years 10 months ago
2010
Springer
The objectives of this paper are to present, describe, and explain the foundations and the functionalities of a temporal knowledge acquisition and modeling solution workflow, which...