2004 search results - page 385 / 401 » Comparison of Model Checking Tools for Information Systems |
125
click to vote
NAR
2007
14 years 11 months ago
2007
The GeneTrees phylogenomics system pursues comparative genomic analyses from the perspective of gene phylogenies for individual genes. The GeneTrees project has the goal of provid...
ICWE
2010
Springer
14 years 10 months ago
2010
Springer
Compliance management is essential for ensuring that organizational business processes and supporting information systems are in accordance with a set of prescribed requirements or...
SIGSOFT
2010
ACM
14 years 9 months ago
2010
ACM
The global interaction behavior in message-based systems can be specified as a finite-state machine defining acceptable sequences of messages exchanged by a group of peers. Realiz...
ICRA
2009
IEEE
14 years 9 months ago
2009
IEEE
Mobile robots are increasingly entering the real and complex world of humans in ways that necessitate a high degree of interaction and cooperation between human and robot. Complex ...
IUI
2012
ACM
13 years 7 months ago
2012
ACM
Visual programming languages (VPLs) provide notations for representing both the intermediate and the final results of a knowledge engineering process. Whereas some VPLs particula...