757 search results - page 37 / 152 » Software Maintainability Improvement: Integrating Standards ... |
ASIASIM
2004
Springer
14 years 2 months ago
2004
Springer
Geometric constraints are imperative components of many dynamic simulation systems to effectively control the behavior of simulated objects. In this paper we present an improved fi...
BMCBI
2008
13 years 9 months ago
2008
Background: The integration of biomedical information is essential for tackling medical problems. We describe a data model in the domain of flow cytometry (FC) allowing for massiv...
BELL
2000
13 years 8 months ago
2000
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...
WISE
2007
Springer
14 years 3 months ago
2007
Springer
Nowadays information systems are increasingly distributed and deployed within the Internet platform. Without any doubt, the World Wide Web represents the de facto standard platform...
IJSC
2008
13 years 9 months ago
2008
ifferent abstraction levels, resulting in isolated `information silos'. An increasing number of task-specific software tools aim to support developers, but this often results ...