2004 search results - page 181 / 401 » Comparison of Model Checking Tools for Information Systems |
141
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper is concerned with information theoretic "metrics" for comparing two dynamical systems. Following the recent work of Tryphon Georgiou [1], we outline a predicti...
135
Voted
ECSQARU
2003
Springer
15 years 11 months ago
2003
Springer
New standards in document representation, like for example SGML, XML, and MPEG-7, compel Information Retrieval to design and implement models and tools to index, retrieve and prese...
134
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
Information Technology, IT, may play an important part in any community as a supporting tool in the democratic process. The conditions for that to happen are primarily a genuine w...
134
click to vote
ENTCS
2007
15 years 6 months ago
2007
The application scenarios envisioned for ‘global ubiquitous computing’ have unique requirements that are often incompatible with traditional security paradigms. One alternativ...
203
click to vote
QEST
2009
IEEE
16 years 26 days ago
2009
IEEE
—Traviando is a trace analyzer and visualizer for simulation traces of discrete event dynamic systems. In this paper, we briefly outline recent extensions of Traviando towards a...