6120 search results - page 1023 / 1224 » The Power of Linear Functions |
172
Voted
ADAEUROPE
2005
Springer
16 years 20 days ago
2005
Springer
Transparent system support for software fault tolerance reduces performance in general and precludes application-specific optimizations in particular. In contrast, explicit support...
183
click to vote
APN
2005
Springer
16 years 19 days ago
2005
Springer
Current modeling techniques are not well equipped to design dynamic software architectures. In this work we present the basic concepts for a dynamic architecture modeling using net...
185
click to vote
ATAL
2005
Springer
16 years 19 days ago
2005
Springer
We present an approach to the verification of temporal epistemic properties in synchronous multi-agent systems (MAS) via bounded model checking (BMC). Based on the semantics of s...
195
Voted
ATAL
2005
Springer
16 years 19 days ago
2005
Springer
A voting protocol for decision-making in virtual organizations is presented. In an agent-based virtual organization the functions of formation, management and dissolution of the o...
153
click to vote
EGC
2005
Springer
16 years 19 days ago
2005
Springer
In recent years different institutions have launched several telemedicine projects which aimed to encourage the Euro-Mediterranean cooperation. The creation of a Virtual Euro-Medit...