297 search results - page 35 / 60 » Issues in Temporal Reasoning for Autonomous Control Systems |
EMISAIJ
2010
13 years 2 months ago
2010
Integrated process support is highly desirable in environments where data related to a particular business process are scattered over distributed, heterogeneous information system...
EATIS
2009
ACM
13 years 11 months ago
2009
ACM
In this paper, we describe our work in developing an agent based smart house platform using TAOM4E development methodology and the JADE-platform with the Jadex-extension. In order...
MODELS
2010
Springer
13 years 6 months ago
2010
Springer
Formal analysis can be used to verify that a model of the system adheres to its requirements. As such, traditional formal analysis focuses on whether known (desired) system propert...
RIDE
1999
IEEE
14 years 4 days ago
1999
IEEE
Workflow systems are an emerging technology which have become increasingly important in the drive for business to provide better services and increase productivity. Intuitively, w...
IROS
2009
IEEE
14 years 2 months ago
2009
IEEE
— Our aim is to explore the fundamental stability issues of a robotic vehicle carrying out localization, mapping, and feedback control in a perturbation-filled environment. Moti...