473 search results - page 93 / 95 » Behavioural Models for Hierarchical Components |
CCS
2005
ACM
15 years 3 months ago
2005
ACM
In a reputation-based trust-management system, agents maintain information about the past behaviour of other agents. This information is used to guide future trust-based decisions...
BIRTHDAY
2010
Springer
15 years 2 months ago
2010
Springer
Egon Börger Ambient Abstract State Machines with Applications 11:00 AM Manfred Broy Realizability of System Interface Specifications 11:30 AM Ofer Strichman Proving Equivalence be...
84
Voted
LISA
2008
14 years 12 months ago
2008
In recent times a new kind of computing system has emerged: a distributed infrastructure composed of multiple physical sites in different administrative domains. This model introd...
117
click to vote
IJVR
2008
14 years 8 months ago
2008
As environments become smart in accordance with advances in ubiquitous computing technology, researchers are struggling to satisfy users' diverse and sophisticated demands. Th...
177
click to vote
POPL
2004
ACM
15 years 9 months ago
2004
ACM
For decades we have been using Chomsky's generative system of grammars, particularly context-free grammars (CFGs) and regular expressions (REs), to express the syntax of prog...