101 search results - page 2 / 21 » A User Interface for a Game-Based Protocol Verification Tool |
WWW
2006
ACM
14 years 6 months ago
2006
ACM
The need of formal verification is a problem that involves all the fields in which sensible data are managed. In this context the verification of data streams became a fundamental...
ACHI
2009
IEEE
14 years 4 days ago
2009
IEEE
— As cameras and storage devices have become cheaper, the number of video surveillance systems has also increased. Video surveillance was (and mostly is) done by human operators ...
AVI
2008
13 years 7 months ago
2008
To support planning of massive transportations under time-critical conditions, in particular, evacuation of people from a disasteraffected area, we have developed a software modul...
EICS
2011
ACM
12 years 8 months ago
2011
ACM
This paper describes a model-based approach for designing distributed user interfaces (DUIs), i.e. graphical user interfaces that are distributed along one or many of the followin...
ICCD
2000
IEEE
13 years 9 months ago
2000
IEEE
A major obstacle to widespread acceptance of formal verification is the difficulty in using the tools effectively. Although learning the basic syntax and operation of a formal ver...