2004 search results - page 397 / 401 » Comparison of Model Checking Tools for Information Systems |
114
click to vote
BMCBI
2007
14 years 11 months ago
2007
Background: Manual curation of biological databases, an expensive and labor-intensive process, is essential for high quality integrated data. In this paper we report the implement...
118
click to vote
CCS
2004
ACM
15 years 5 months ago
2004
ACM
Security must be a first class citizen in the design of large scale, interacting, software applications, at early and all stages of the lifecycle, for accurate and precise policy ...
101
click to vote
ELPUB
2006
ACM
15 years 5 months ago
2006
ACM
Various new imaging techniques have been used at the C2RMF, in order to digitize paintings and objects. These techniques are used for extensive and detailed non-destructive analys...
109
click to vote
BIBE
2003
IEEE
15 years 5 months ago
2003
IEEE
The tertiary (3D) structure of a protein contains the essential information for understanding the biological function of the protein at the molecular and cellular levels. Traditio...
123
click to vote
IPPS
1999
IEEE
15 years 4 months ago
1999
IEEE
Abstract. Our work involves the development of a prototype Geographical Information System GIS as an example of the use of process networks as a well-de ned high-level semantic mod...