2004 search results - page 76 / 401 » Comparison of Model Checking Tools for Information Systems |
SAC
2010
ACM
15 years 2 days ago
2010
ACM
Software artifacts usually have static program constraints and these constraints should be satisfied in each reuse. In addition to this, the developers are also required to satisf...
HICSS
2007
IEEE
15 years 6 months ago
2007
IEEE
During the last decades market competition created various constellations of collaborative integration between enterprises: integration of parts of the value chain or integration ...
ENTCS
2006
14 years 12 months ago
2006
We propose a format of predicate diagrams for the verification of real-time systems. We consider systems that are defined as extended timed graphs, a format that combines timed au...
113
click to vote
CAV
2012
Springer
13 years 2 months ago
2012
Springer
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...
WWW
2009
ACM
16 years 16 days ago
2009
ACM
In this poster, a tool named BUCEFALO is presented. This tool is specially designed to improve the information retrieval tasks in web-based Personal Health Records (PHR). This too...