Sciweavers

19587 search results - page 3672 / 3918
» Systems Engineering for software Engineers
Sort
View
ESOP
2010
Springer
16 years 3 months ago
Precise and Automated Contract-based Reasoning for Verification and Certification of Information Flow Properties of Programs wit
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
Torben Amtoft, John Hatcliff and Edwin Rodríguez
TEI
2010
ACM
236views Hardware» more  TEI 2010»
16 years 1 months ago
StitchRV: multi-camera fiducial tracking
StitchRV is a fiducial and touch-tracking engine based on the popular reacTIVision fiducial tracking system. StitchRV combines video input from multiple cameras in real time, and ...
Sijie Wang, Allen Bevans, Alissa Nicole Antle
CBMS
2009
IEEE
16 years 1 months ago
On the storage, management and analysis of (multi) similarity for large scale protein structure datasets in the grid
Assessment of the (Multi) Similarity among a set of protein structures is achieved through an ensemble of protein structure comparison methods/algorithms. This leads to the genera...
Gianluigi Folino, Azhar Ali Shah, Natalio Krasnogo...
HICSS
2009
IEEE
662views Biometrics» more  HICSS 2009»
16 years 1 months ago
Modeling Collaborative Behavior: Foundations for Collaboration Technologies
Can models of collaboration serve as a foundation for development of collaborative technologies in much the same way that engineers use models when developing complex systems? We ...
Steven E. Poltrock, Mark Handel
ICCSA
2009
Springer
16 years 1 months ago
Designing Data Warehouses for Geographic OLAP Querying by Using MDA
Data aggregation in Geographic Information Systems (GIS) is a desirable feature, spatial data are integrated in OLAP engines for this purpose. However, the development and operatio...
Octavio Glorio, Juan Trujillo
« Prev « First page 3672 / 3918 Last » Next »