2004 search results - page 389 / 401 » Comparison of Model Checking Tools for Information Systems |
101
click to vote
SEMWEB
2009
Springer
15 years 6 months ago
2009
Springer
The Ontology Definition Metamodel (ODM) defines a set of UML metamodels and profiles for development of RDF and OWL. The UML profiles in the ODM specification adapt UML notations t...
SIGSOFT
2007
ACM
16 years 14 days ago
2007
ACM
The practice of software development can likely be improved if an externalized model of each programmer's knowledge of a particular code base is available. Some tools already...
107
click to vote
BCS
2008
15 years 1 months ago
2008
Despite over a century's study, the trigger mechanisms of cardiac arrhythmias are poorly understood. Even modern experimental methods do not provide sufficient temporal and s...
110
click to vote
IEEEMM
2002
14 years 11 months ago
2002
an abstract model for information sharing and integration and use it to develop an architecture for building open, component-based, interoperable systems. A geographic information ...
79
Voted
IAT
2003
IEEE
15 years 5 months ago
2003
IEEE
With the increasing use of the internet, many problemsolving tasks such as resource allocation, scheduling, planning, and configuration pose themselves in an open setting involvi...