1180 search results - page 90 / 236 » Interaction Protocols in Agentis |
90
Voted
CORR
2007
Springer
15 years 19 days ago
2007
Springer
An encounter-based network is a frequently-disconnected wireless ad-hoc network requiring nearby neighbors to store and forward data utilizing mobility and encounters over time. U...
116
click to vote
ESORICS
2002
Springer
16 years 7 days ago
2002
Springer
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...
95
Voted
PERCOM
2006
ACM
16 years 7 days ago
2006
ACM
Dynamically creating new, composite services "on the fly" using existing ones in a local interaction environment (e.g. a home, meeting room, airport lounge, etc.) presen...
135
Voted
CCGRID
2006
IEEE
15 years 6 months ago
2006
IEEE
— Geometric shape modeling becomes increasingly complex and resource-demanding task. In this paper we propose a method to leverage the power of Grid to provide users with high-pr...
109
click to vote
VTC
2006
IEEE
15 years 6 months ago
2006
IEEE
— In the third generation wireless system UMTS, Radio Resource Management (RRM) functions should encompass scheduling algorithms. In particular, scheduling mechanisms play a key ...