2004 search results - page 311 / 401 » Comparison of Model Checking Tools for Information Systems |
ITBAM
2010
14 years 9 months ago
2010
This paper analyzes the requirements and presents a novel approach to the development of a system for epidemiological data collection and integration based on the principles of int...
106
click to vote
INAP
2001
Springer
15 years 4 months ago
2001
Springer
Mobile agent technology is an emerging technology that allows easier design, implementation, and maintenance of distributed systems. Mobility enables agents to reduce network load,...
138
click to vote
JCDL
2011
ACM
14 years 2 months ago
2011
ACM
Disk images (bitstreams extracted from physical media) can play an essential role in the acquisition and management of digital collections by serving as containers that support da...
119
click to vote
JUCS
2008
14 years 12 months ago
2008
: In a component-based development process the selection of components is an activity that takes place over multiple lifecycle phases that span from requirement specifications thro...
118
click to vote
WECWIS
2003
IEEE
15 years 5 months ago
2003
IEEE
The rapid growth of the World Wide Web and the Internet has fueled interest in Web services and the Semantic Web, which are quickly becoming important parts of modern electronic c...