3387 search results - page 424 / 678 » Model-Checking for Real-Time Systems |
210
click to vote
CAV
2009
Springer
16 years 8 months ago
2009
Springer
Recent development on distributed systems has shown that a variety of fairness constraints (some of which are only recently defined) play vital roles in designing self-stabilizing ...
227
click to vote
CADE
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We describe mcmt, a fully declarative and deductive symbolic model checker for safety properties of infinite state systems whose state variables are arrays. Theories spec...
202
click to vote
RTCSA
2007
IEEE
16 years 1 months ago
2007
IEEE
Code optimization of the offset assignment generated in embedded systems allows for power and space efficient systems. We propose a new heuristic that uses edge classification to ...
189
click to vote
SBIA
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. The agent/multi-agent system paradigm is an important field of Artificial Intelligence. The use of this paradigm in real-world problems is one of the main lines of intere...
210
Voted
WSCG
2003
15 years 8 months ago
2003
This paper describes the concept and control of a 3d Avatar system with mimic and gestures as a conversational user interface. The Avatar system including gestures and mimic is ba...