3169 search results - page 268 / 634 » A General Framework for Large Scale Systems Development |
192
click to vote
ATAL
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics ...
178
click to vote
DEDS
2007
15 years 6 months ago
2007
This paper presents a general framework for efficient synthesis of supervisors for discrete event systems. The approach is based on compositional minimisation, using concepts of p...
145
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—Tracking of movements such as that of people, animals, vehicles, or of phenomena such as fire, can be achieved by deploying a wireless sensor network. So far only prototype sys...
163
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— Recently there has been increasing research on the development of autonomous flying vehicles. Whereas most of the proposed approaches are suitable for outdoor operation, only ...
171
click to vote
ECAI
2004
Springer
16 years 2 days ago
2004
Springer
Tasks like diagnosis, failure-modes-and-effects analysis (FMEA), and therapy proposal involve reasoning about variables and parameters deviating from some reference state. In model...