3352 search results - page 615 / 671 » Complex Data Integration Based on a Multi-agent System |
135
Voted
FATES
2003
Springer
15 years 8 months ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
153
click to vote
TACAS
2001
Springer
15 years 8 months ago
2001
Springer
Multi-valued logics support the explicit modeling of uncertainty and disagreement by allowing additional truth values in the logic. Such logics can be used for verification of dyn...
162
Voted
TIP
2010
14 years 10 months ago
2010
This paper proposes an approach for recognizing human activities (more specifically, pedestrian trajectories) in video sequences, in a surveillance context. A system for automatic ...
145
Voted
IADIS
2004
15 years 5 months ago
2004
The accelerated development in grid computing has positioned it as a promising next generation computing platform. It enables the creation of virtual organizations (VO) for sharin...
117
Voted
CCS
2009
ACM
15 years 10 months ago
2009
ACM
Binary attestation, as proposed by the Trusted Computing Group (TCG), is a pragmatic approach for software integrity protection and verification. However, it has also various sho...