2004 search results - page 326 / 401 » Comparison of Model Checking Tools for Information Systems |
ICSM
2007
IEEE
15 years 6 months ago
2007
IEEE
Recent software systems usually feature an automated failure reporting component, with which a huge number of failures are collected from software end-users. With a proper support...
EAAI
2008
14 years 12 months ago
2008
We describe the Flight Manager Assistant (FMA), a prototype system, designed to support real-time management of airlift operations at the USAF Air Mobility Command (AMC). In curre...
WSC
2007
15 years 2 months ago
2007
The problem of path planning for Unmanned Aerial Vehicles (UAV) with a tracking mission, when some a priori information about the targets and the environment is available can in s...
WSC
2008
15 years 2 months ago
2008
This paper summarizes new analytical and empirical results for the economic approach to simulation selection problems that we introduced two years ago. The approach seeks to help ...
100
click to vote
CCS
2008
ACM
15 years 1 months ago
2008
ACM
Humans should be able to think of computers as extensions of their body, as craftsmen do with their tools. Current security models, however, are too unlike those used in human min...