1415 search results - page 158 / 283 » Verified systems by composition from verified components |
142
click to vote
IEEECIT
2006
IEEE
16 years 11 days ago
2006
IEEE
Through as an important part of service-oriented system architecture, service retrieval receives much attention from industry and academia and many methods have been proposed, the...
175
click to vote
WDAG
2005
Springer
15 years 11 months ago
2005
Springer
In a distributed system with N processes, time stamps of size N (such as vector clocks) are necessary to accurately track potential causality between events. Plausible clocks are a...
165
click to vote
INFFUS
2000
15 years 6 months ago
2000
The contribution of this paper is to compare paradigms coming from the classes of parametric, and non-parametric techniques to solve the decision fusion problem encountered in the...
171
click to vote
ISCC
2008
IEEE
16 years 22 days ago
2008
IEEE
Network monitoring is a complex task that generally requires the use of different tools for specific purposes. This paper describes a flexible network monitoring tool, called Pa...
170
click to vote
ICRA
2007
IEEE
16 years 19 days ago
2007
IEEE
Abstract— Tightly-coupled multi-agent systems such as modular robots frequently exhibit properties of interest that span multiple modules. These properties cannot easily be detec...