2790 search results - page 219 / 558 » The Human-Provided Services Framework |
142
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
We present a software tool and a framework for security protocol change management. While we focus on trust negotiation protocols in this paper, many of the ideas are generally ap...
206
click to vote
FMICS
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
173
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
The energy-delay tradeoffs in wireless networks are studied using a game-theoretic framework. A multi-class multipleaccess network is considered in which users choose their transmi...
215
click to vote
MIDDLEWARE
2004
Springer
16 years 1 days ago
2004
Springer
In recent years, the gossip-based communication model in large-scale distributed systems has become a general paradigm with important applications which include information dissemi...
152
click to vote
EMS
2009
IEEE
16 years 1 months ago
2009
IEEE
— Air travel is becoming increasingly more accessible to people both through the availability of cheap flights and because the airlines are now able to cater for individuals of a...