2004 search results - page 205 / 401 » Comparison of Model Checking Tools for Information Systems |
158
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper investigates a complexity-effective technique for verifying a highly distributed directory-based cache coherence protocol. We develop a novel approach called “witnes...
189
click to vote
OOPSLA
2007
Springer
16 years 16 days ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...
157
click to vote
VLUDS
2010
15 years 1 months ago
2010
Urban planners are dealing with problems of urban sprawl and CO2 emissions. The multidimensional character of these phenomena requires new analysis and visualization tools that ar...
153
click to vote
IV
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper describes a visualisation tool, VlUM, designed to support users in scrutinising models of their interests, preferences and knowledge. We also describe MECUREO, a tool f...
230
click to vote
SACMAT
2009
ACM
16 years 28 days ago
2009
ACM
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...