2004 search results - page 384 / 401 » Comparison of Model Checking Tools for Information Systems |
SDB
1995
15 years 3 months ago
1995
Database transformations arise in many di erent settings including database integration, evolution of database systems, and implementing user views and data-entry tools. This paper...
ITEE
2007
15 years 1 months ago
2007
1 A knowledge acquisition process that has been implemented by a virtual team for the development of a knowledge based early warning system in Material Recovery Facilities (MRFs) o...
DIWEB
2001
15 years 1 months ago
2001
The demand for data integration is rapidly becoming larger as more and more information sources appear in modern enterprises. In many situations a logical (rather than physical) i...
140
click to vote
GIS
2002
ACM
14 years 11 months ago
2002
ACM
Vector data represents one major category of data managed by GIS. This paper presents a new technique for vector-data display that is able to precisely and efficiently map vector ...
124
click to vote
SOPR
1998
14 years 11 months ago
1998
Software engineering focuses on producing quality software products through quality processes. The attention to processes dates back to the early 70’s, when software engineers r...