2004 search results - page 19 / 401 » Comparison of Model Checking Tools for Information Systems |
ALENEX
2004
15 years 1 months ago
2004
We consider two approaches that model timetable information in public transportation systems as shortestpath problems in weighted graphs. In the time-expanded approach every event...
ICPPW
2006
IEEE
15 years 5 months ago
2006
IEEE
This paper concerns the design and verification of a realtime communication protocol for sensor data collection and processing between an embedded computer and a DSP. In such sys...
IBERAMIA
2004
Springer
15 years 5 months ago
2004
Springer
Many approaches of the agent paradigm emphasize the social and intentional features of their systems, what are called social properties. The study of these aspects demands their ow...
DAGSTUHL
2006
15 years 1 months ago
2006
Abstract. An e-market system is a concrete implementation of a market institution; it embeds one or more exchange mechanisms. E-market systems are also information systems which ar...
INTERACT
2003
15 years 1 months ago
2003
: People have a large amount of information that they wish to maintain awareness of, but yet forget to check or are too busy to check it on a regular basis. Examples of this inform...