4897 search results - page 659 / 980 » Trust Modeling for Peer-to-Peer Based Computing Systems |
166
click to vote
GECCO
2005
Springer
16 years 7 days ago
2005
Springer
This paper offers a novel approach to coevolution based on the sociological theory of symbolic interactionism. It provides a multi-agent computational model along with experimenta...
174
click to vote
SAC
2006
ACM
15 years 6 months ago
2006
ACM
We propose a simple programming language, called Nemo, specific to the domain of multi-task real-time embedded systems, such as in robotic, automotive or avionics systems. It can ...
199
click to vote
MOBIHOC
2008
ACM
16 years 6 months ago
2008
ACM
Vehicular ad-hoc networks with inter-vehicular communications are a prospective technology which contributes to safer and more efficient roads and offers information and entertain...
161
click to vote
RTCSA
2007
IEEE
16 years 1 months ago
2007
IEEE
A task that suspends itself to wait for an I/O completion or to wait for an event from another node in distributed environments is called an I/O blocking task. In conventional har...
157
click to vote
ACSD
2003
IEEE
16 years 20 hour ago
2003
IEEE
— We consider the problem of specifying a model of the Zero Copy Secured Protocol for the purpose of LTL verification with the SPIN Model Checker. ZCSP is based on Direct Memory...