Sciweavers

425 search results - page 36 / 85
» The ENTRAPID Protocol Development Environment
Sort
View
107
Voted
ENTCS
2006
136views more  ENTCS 2006»
15 years 14 days ago
Automated Game Analysis via Probabilistic Model Checking: a case study
It has been recognised for some time that there are close links between the various logics developed for the analysis of multi-agent systems and the many game-theoretic models dev...
Paolo Ballarini, Michael Fisher, Michael Wooldridg...
116
Voted
WIAS
2008
95views more  WIAS 2008»
15 years 10 days ago
Using multi-agent platform for pure decentralised business workflows
This paper describes the development of a distributed multi-agent workflow enacting mechanism starting from a BPEL4WS[BPE03] specification. Our work demonstrates that a multi-agent...
Li Guo, David Robertson, Yun-Heh Chen-Burger
WOWMOM
2005
ACM
201views Multimedia» more  WOWMOM 2005»
15 years 6 months ago
Real-Time Intrusion Detection for Ad Hoc Networks
A mobile ad hoc network is a collection of nodes that is connected through a wireless medium forming rapidly changing topologies. The widely accepted existing routing protocols de...
Ioanna Stamouli, Patroklos G. Argyroudis, Hitesh T...
69
Voted
PERCOM
2009
ACM
16 years 1 months ago
Towards Adaptive Resource-Driven Routing
In pervasive computing environments, applications find themselves in constantly changing operating conditions. Such applications often need to discover locally available resources ...
Angela Dalton, Christine Julien
IPPS
2000
IEEE
15 years 4 months ago
Reduction Optimization in Heterogeneous Cluster Environments
Network of workstation (NOW) is a cost-effective alternative to massively parallel supercomputers. As commercially available off-the-shelf processors become cheaper and faster, ...
Pangfeng Liu, Da-Wei Wang