3742 search results - page 728 / 749 » On the Use of Formal Techniques for Validation |
110
click to vote
GIS
2010
ACM
15 years 15 days ago
2010
ACM
Many researchers throughout the world have been struggling to better understand and describe Spatial Data Infrastructures (SDIs). Our knowledge of the real forces and mechanisms b...
132
click to vote
PVLDB
2010
15 years 10 days ago
2010
Cloud storage is an emerging infrastructure that offers Platforms as a Service (PaaS). On such platforms, storage and compute power are adjusted dynamically, and therefore it is i...
136
click to vote
BMCBI
2011
14 years 9 months ago
2011
Background: The Distributed Annotation System (DAS) has proven to be a successful way to publish and share biological data. Although there are more than 750 active registered serv...
155
click to vote
INFSOF
2011
14 years 9 months ago
2011
Context: Service Oriented Architectures (SOA) have emerged as a new paradigm to develop interoperable and highly dynamic applications. Objective: This paper aims to identify the s...
173
click to vote
TCSV
2011
14 years 9 months ago
2011
—As it is true for human perception that we gather information from different sources in natural and multi-modality forms, learning from multi-modalities has become an effective ...