7452 search results - page 1297 / 1491 » A Semantics for Multiprocessor Systems |
163
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
The most important and interesting of the computing challenges we are facing are those that involve the problems and opportunities afforded by massive decentralization and disinte...
174
click to vote
SEFM
2006
IEEE
16 years 17 days ago
2006
IEEE
We define a model of labelled product systems of automata and explore its connections with process calculi and trace languages. Bisimilarity of labelled product systems is defin...
193
click to vote
CCS
2005
ACM
16 years 2 days 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...
182
click to vote
CLEF
2005
Springer
16 years 2 days ago
2005
Springer
This article describes the use of the medGIFT and easyIR retrieval systems for three of the four ImageCLEF 2005 retrieval tasks. We participated in the ad–hoc retrieval task that...
199
click to vote
SIGSOFT
2003
ACM
15 years 11 months ago
2003
ACM
Most applications developed today rely on a given middleware platform which governs the interaction between components, the access to resources, etc. To decide, which platform is ...