82 search results - page 6 / 17 » An A-Prolog Decision Support System for the Space Shuttle |
BIRTHDAY
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
COMPSAC
2002
IEEE
14 years 17 days ago
2002
IEEE
Architecture has been identified as a main tool for high quality system development. It encapsulates the earliest design decisions of the system under development. These decisions...
ATAL
2004
Springer
14 years 1 months ago
2004
Springer
To anticipate and prevent acts of terrorism, Indications and Warnings analysts try to connect clues gleaned from massive quantities of complex data. Multi-agent approaches to supp...
IS
2007
13 years 7 months ago
2007
Despite the importance of ranked queries in numerous applications involving multi-criteria decision making, they are not efficiently supported by traditional database systems. In ...
CLOUDCOM
2010
Springer
13 years 5 months ago
2010
Springer
Geospatial queries (GQ) have been used in a wide variety of applications such as decision support systems, profile-based marketing, bioinformatics and GIS. Most of the existing qu...