4290 search results - page 686 / 858 » Formal Approaches to Teamwork |
177
click to vote
NCA
2007
IEEE
16 years 24 days ago
2007
IEEE
Developing middleware services for dynamic distributed systems, e.g., ad-hoc networks, is a challenging task given that such services deal with dynamically changing membership and...
218
click to vote
SASO
2007
IEEE
16 years 24 days ago
2007
IEEE
A fundamental problem that confronts decentralized reputation systems is the design of efficient, secure and incentive-compatible mechanisms to gather trust information despite m...
152
click to vote
SEFM
2007
IEEE
16 years 24 days ago
2007
IEEE
It is a common phenomenon for research projects to collect and analyse valuable data using ad-hoc information systems. These costly-to-build systems are often composed of incompat...
172
click to vote
WCRE
2007
IEEE
16 years 23 days ago
2007
IEEE
Our analysis of crosscutting concerns in real-life software systems (totaling over 500,000 LOC) and in reports from literature indicated a number of properties that allow for thei...
184
click to vote
WETICE
2007
IEEE
16 years 23 days ago
2007
IEEE
With orchestrations, one service may be realized through the cooperation of several services. This cooperation has to be formally described. In this paper, we propose to describe ...