1729 search results - page 52 / 346 » Deterministic Expressions in C |
113
click to vote
IPSN
2004
Springer
15 years 5 months ago
2004
Springer
Recent advances in technology have made low cost, low power wireless sensors a reality. Clock synchronization is an important service in any distributed system, including sensor n...
122
click to vote
EMSOFT
2006
Springer
15 years 3 months ago
2006
Springer
Distributed real-time systems require a predictable and verifiable mechanism to control the communication medium. Current real-time communication protocols are typically independe...
116
click to vote
TROB
2010
14 years 10 months ago
2010
—Robotic systems need to be able to plan control actions that are robust to the inherent uncertainty in the real world. This uncertainty arises due to uncertain state estimation,...
CORR
2011
Springer
14 years 6 months ago
2011
Springer
Abstract The class of ω-regular languages provide a robust specification language in verification. Every ω-regular condition can be decomposed into a safety part and a liveness...
AAAI
2007
15 years 2 months ago
2007
Action description language C+ is more expressive than ADL in many ways; for instance, it addresses the ramification problem. On the other hand, ADL is based on first-order logi...