4890 search results - page 56 / 978 » From system specifications to component behavioral models |
102
click to vote
AADEBUG
2005
Springer
15 years 3 months ago
2005
Springer
One of today’s challenges is producing reliable software in the face of an increasing number of interacting components. Our system CHET lets developers define specifications des...
AAAI
2006
14 years 11 months ago
2006
Modern artifacts are typically composed of many system components and exhibit a complex pattern of continuous/discrete behaviors. A concurrent hybrid automaton is a powerful model...
ER
2007
Springer
15 years 4 months ago
2007
Springer
Recent research in e-contracts is concerned with the development of frameworks and tools to support contracts. EREC framework is one that enables modelling and deployment of e-con...
AAAI
2008
15 years 3 days ago
2008
Building architectures for autonomous rational behavior requires the integration of several AI components, such as planning, learning and execution monitoring. In most cases, the ...
RAS
2006
14 years 9 months ago
2006
Mobile robots must cope with uncertainty from many sources along the path from interpreting raw sensor inputs to behavior selection to execution of the resulting primitive actions...