2004 search results - page 247 / 401 » Comparison of Model Checking Tools for Information Systems |
153
click to vote
JOT
2010
15 years 3 months ago
2010
This paper describes how to use annotation to provide semantic information. The applications include the automatic construction of a GUI so that the user input is constrained to a...
135
click to vote
FORTE
2004
15 years 6 months ago
2004
Witnesses and counterexamples produced by model checkers provide a very useful source of diagnostic information. They are usually returned in the form of a single computation path ...
144
click to vote
WWW
2007
ACM
16 years 5 months ago
2007
ACM
Morphbank, an on-line collection of museum-quality biological images, is an NSF funded project designed to facilitate the on-line collaboration of biologists from around the world...
161
click to vote
SEMWEB
2007
Springer
15 years 10 months ago
2007
Springer
Ontology mapping is to find semantic correspondences between similar elements of different ontologies. It is critical to achieve semantic interoperability in the WWW. This paper su...
131
click to vote
ENTCS
2007
15 years 4 months ago
2007
Safety is an important requirement for many modern systems. To ensure safety of complex critical systems, well-known safety analysis methods have been formalized. This holds in pa...