4897 search results - page 575 / 980 » Trust Modeling for Peer-to-Peer Based Computing Systems |
177
click to vote
FORMATS
2004
Springer
16 years 7 days ago
2004
Springer
We propose an effective and complete method for verifying safety and properties of timed systems, which is based on predicate abstraction for g finite abstractions of timed autom...
157
click to vote
EUROPAR
2003
Springer
16 years 2 days ago
2003
Springer
Efficient discovery and resource allocation is one of the challenges of current Peer-to-Peer systems. In centralized approaches, the user requests can be matched to the fastest, ch...
171
click to vote
WCE
2007
15 years 8 months ago
2007
— The advent of ubiquitous computing has revolutionized distributed Multi-agent systems (MAS). Consequently, there are many software projects focusing on MASs. However, its succe...
220
click to vote
PROCEDIA
2010
15 years 1 months ago
2010
This work presents an approach to the obstacle avoidance problem, applicable in the frame of driver assistance. A decision, expressed as a proposed acceleration vector for the veh...
217
click to vote
PERCOM
2007
ACM
16 years 6 months ago
2007
ACM
Middleware support for pervasive context-aware systems relieves context-aware applications from dealing with the complexity of context-specific operations such as context acquisit...