1398 search results - page 120 / 280 » Ensuring Properties of Interaction Systems |
143
click to vote
WSC
2008
15 years 8 months ago
2008
Complex systems consist of a large number of entities with their independent local rules and goals, along with their interactions. The effect of these properties tends to produce ...
156
click to vote
APSEC
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...
181
click to vote
AGENTCL
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. This paper proposes a new model of communication in multiagent systems according to which the semantics of communication depends on their pragmatics. Since these pragmati...
154
Voted
HPDC
2006
IEEE
16 years 5 days ago
2006
IEEE
As the size of distributed systems keeps growing, the peer to peer communication paradigm has been identified as the key to scalability. Peer to peer overlay networks are charact...
197
click to vote
CL
2002
Springer
15 years 6 months ago
2002
Springer
We introduce a typed variant of Safe Ambients, named Secure Safe Ambients (SSA), whose type system allows behavioral invariants of ambients to be expressed and verified. The most ...