1833 search results - page 160 / 367 » Mechanized Verification with Sharing |
189
click to vote
CLUSTER
2006
IEEE
16 years 16 days ago
2006
IEEE
The Service Level Agreement (SLA) based grid superscheduling approach promotes coordinated resource sharing. Superscheduling is facilitated between administratively and topologica...
157
click to vote
DATE
2006
IEEE
16 years 15 days ago
2006
IEEE
This paper explores optimization techniques of the synchronization mechanisms for MPSoCs based on complex interconnect (Network-on-Chip), targeted at future powerefficient system...
204
click to vote
ACOM
2006
Springer
16 years 13 days ago
2006
Springer
Communication is essential in multi-agent systems, since it allows agents to share knowledge and to coordinate. However, in open multi-agent systems, autonomous and heterogeneous a...
167
click to vote
LSO
2004
Springer
15 years 11 months ago
2004
Springer
The need for organizational learning support is common among all software development companies but is not addressed by agile software methods practitioners. The typical Experience...
162
click to vote
CCS
2003
ACM
15 years 11 months ago
2003
ACM
Emerging economic P2P applications share the common need for an efficient, secure payment mechanism. In this paper, we present PPay, a micropayment system that exploits unique cha...