2004 search results - page 64 / 401 » Comparison of Model Checking Tools for Information Systems |
HICSS
2003
IEEE
15 years 5 months ago
2003
IEEE
This research reports on the deferred system software model to inform semantic and contextual information sharing in Web applications. Contextual information sharing requires soft...
FORMATS
2005
Springer
15 years 5 months ago
2005
Springer
Timed automata (TA) are a widely used model for real-time systems. Several tools are dedicated to this model, and they mostly implement a forward analysis for checking reachability...
109
click to vote
EMNLP
2009
14 years 9 months ago
2009
Information Extraction (IE) systems that extract role fillers for events typically look at the local context surrounding a phrase when deciding whether to extract it. Often, howev...
124
click to vote
ASPLOS
2011
ACM
14 years 3 months ago
2011
ACM
This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E’s use in developing practical tools for comprehensive perfo...
162
click to vote
JUCS
2010
14 years 6 months ago
2010
: All processes of life are controlled by networks of interacting biochemical components. The purpose of modelling these networks is manifold. From a theoretical point of view it a...