1521 search results - page 139 / 305 » On Sampled Semantics of Timed Systems |
123
click to vote
HYBRID
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. The assume-guarantee paradigm is a powerful divide-andconquer mechanism for decomposing a veri cation task about a system into subtasks about the individual components of...
123
click to vote
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
— The success of sampling-based motion planners has resulted in a plethora of methods for improving planning components, such as sampling and connection strategies, local planner...
125
click to vote
RTSS
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—The Hierarchical Timing Language (HTL) is a realtime coordination language for distributed control systems. HTL programs must be checked for well-formedness, race freedo...
142
click to vote
ICDE
1994
IEEE
15 years 8 months ago
1994
IEEE
In applications like nancial trading, scheduling, manufacturing and process control, time based predicates in queries and rules are very important. There is also a need to de ne ...
105
click to vote
CSMR
2009
IEEE
15 years 10 months ago
2009
IEEE
Past software engineering literature has firmly established that software architectures and the associated code decay over time. Architectural decay is, potentially, a major issu...