2004 search results - page 108 / 401 » Comparison of Model Checking Tools for Information Systems |
145
Voted
MEMBRANE
2009
Springer
15 years 11 months ago
2009
Springer
would be an abstract answer (because it would not immediately link a formal model with the biological reality that inspired it or with possible implementations) from the other hand...
126
click to vote
WWW
2009
ACM
16 years 5 months ago
2009
ACM
This paper presents SOFIE, a system for automated ontology extension. SOFIE can parse natural language documents, extract ontological facts from them and link the facts into an on...
145
click to vote
GIS
2002
ACM
15 years 4 months ago
2002
ACM
Geographical information systems are more and more based on a DBMS with spatial extensions, which is also the case for the system described in this paper. The design and implementa...
121
click to vote
IRI
2007
IEEE
15 years 11 months ago
2007
IEEE
Software development standards such as the UML provide complex modeling languages for specifying, visualizing, constructing, and documenting the artifacts of software systems [1]....
128
click to vote
HICSS
2003
IEEE
15 years 10 months ago
2003
IEEE
Qureshi, et al. (2002) [1] presented a case study where they used a framework, the Intellectual Bandwidth Model to measure an organization’s ability to create value. The model c...