2411 search results - page 276 / 483 » Information Integration in Service-oriented Computing |
165
click to vote
VLSID
2004
IEEE
16 years 3 months ago
2004
IEEE
This paper presents a novel technique for abstracting designs in order to increase the efficiency of formal property checking. Bounded Model Checking (BMC), using Satisfiability (...
127
click to vote
ECIR
2009
Springer
16 years 20 days ago
2009
Springer
Algorithms that enable the process of automatically mining distinct topics in document collections have become increasingly important due to their applications in many fields and ...
127
click to vote
IDTRUST
2010
ACM
15 years 10 months ago
2010
ACM
Public Key Infrastructure (PKI) security depends upon secure management and usage of trust anchors. Unfortunately, widely used mechanisms, management models and usage practices re...
86
Voted
TEI
2010
ACM
15 years 10 months ago
2010
ACM
Stretch sensors appear to offer the physical computing and wearables communities a solution in their flexibility. This paper introduces an interdisciplinary project in which knit,...
134
click to vote
ICRA
2008
IEEE
15 years 10 months ago
2008
IEEE
— GPS-free localization is essential for navigation and information tagging in small robotic fish-based aquatic mobile sensor networks. Constraints on size, weight, and onboard ...