2004 search results - page 65 / 401 » Comparison of Model Checking Tools for Information Systems |
ECIS
2004
15 years 1 months ago
2004
The adoption and implementation of interorganizational information systems (IOS) heavily depend upon the trading partner(s) of the focal organization. Power structures have been s...
MVA
2006
14 years 11 months ago
2006
Abstract This work proposes a system for the automatic construction of multi-spectral three-dimensional (3D) models of architecture. Besides the specific application, which concern...
129
click to vote
CSREAESA
2006
15 years 1 months ago
2006
- We present a software tool for high-level design and analysis of large-scale embedded real-time software, which has been integrated into a vehicle control platform development to...
ICSM
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper describes a case study of the release management of CS-ECIS, a health-care information system developed by the Dutch software vendor ChipSoft. We performed this case st...
BIOINFORMATICS
2012
13 years 2 months ago
2012
Motivation: Next-generation sequencing methods are generating increasingly massive datasets, yet still do not fully capture genetic diversity in the richest environments. To under...