2004 search results - page 82 / 401 » Comparison of Model Checking Tools for Information Systems |
105
click to vote
AMT
2001
Springer
15 years 4 months ago
2001
Springer
In the field of guided learning on the Internet we present, in this paper, an interactive tool for designing intelligent tutoring systems on the web. Our tool makes easier the crea...
169
click to vote
SIGMOD
2005
ACM
16 years 15 hour ago
2005
ACM
Web services technologies enable flexible and dynamic interoperation of autonomous software and information systems. A central challenge is the development of modeling techniques ...
JODS
2007
14 years 11 months ago
2007
Ontologies are an important technology for the Semantic Web. In different areas ontologies have already been developed and many of these ontologies contain overlapping information...
121
click to vote
SIGSOFT
2002
ACM
16 years 18 days ago
2002
ACM
Security is a very important issue in information processing, especially in open network environments like the Internet. The Common Criteria (CC) is the standard requirements cata...
104
click to vote
CGVR
2006
15 years 1 months ago
2006
- In recent years, techniques have shown an increased interest in research and development related to stereoscopic imaging. However, unlike 2D image, stereoscopic image is generate...