2020 search results - page 45 / 404 » Modeling Probe-Agent Distributed System by Goal-oriented App... |
144
click to vote
FMCO
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In recent years a bundle of parallel and distributed algorithms for verification of finite state systems has appeared. We survey distributed-memory enumerative LTL mode...
125
Voted
DEBS
2007
ACM
15 years 6 months ago
2007
ACM
Event-based systems are increasingly gaining widespread attention for applications that require integration with loosely coupled and distributed systems for time-critical business...
130
click to vote
AVBPA
2005
Springer
15 years 8 months ago
2005
Springer
A multimodal biometric system integrates information from multiple biometric sources to compensate for the limitations in performance of each individual biometric system. We propos...
121
click to vote
GI
2005
Springer
15 years 8 months ago
2005
Springer
: A distributed service to model and control contextual information in mobile and ubiquitous computing environments is presented in this paper. We introduce the general user model ...
159
click to vote
ICPPW
2005
IEEE
15 years 8 months ago
2005
IEEE
High-performance computing is essential for solving large problems and for reducing the time to solution for a single problem. Current top high-performance computing systems conta...