18204 search results - page 3158 / 3641 » Distributed Video Presentations |
201
click to vote
ATAL
2006
Springer
15 years 11 months ago
2006
Springer
We present a logic for reasoning both about the ability of agents to cooperate to execute complex actions, and how this relates to their ability to reach certain states of affairs...
176
click to vote
ATAL
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. In this paper, we examine the problem of choosing discriminatory prices for customers with probabilistic valuations and a seller with indistinguishable copies of a good. ...
214
click to vote
COOPIS
2004
IEEE
15 years 11 months ago
2004
IEEE
Project JXTA is the first peer-to-peer application development infrastructure, consisting of standard protocols and multi-language implementations. A JXTA peer network is a comple...
202
click to vote
CAV
2006
Springer
15 years 11 months ago
2006
Springer
We present an approach for applying symmetry reduction techniques to probabilistic model checking, a formal verification method for the quantitative analysis of systems with stocha...
256
click to vote
CBSE
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. The use of software component models has become popular during the last decade, in particular in the development of software for desktop applications and distributed info...