13397 search results - page 2208 / 2680 » From Static Distributed Systems to Dynamic Systems |
143
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
We present a logic for reasoning about strategic games. The logic is a modal formalism, based on the Coalition Logic of Propositional Control, to which we add the notions of outco...
137
click to vote
CMSB
2009
Springer
15 years 11 months ago
2009
Springer
Molecular noise, which arises from the randomness of the discrete events in the cell, significantly influences fundamental biological processes. Discrete-state continuous-time st...
134
click to vote
ESWS
2009
Springer
15 years 11 months ago
2009
Springer
This paper describes an ontology-based service discovery front-end interface for GloServ. GloServ is a service discovery engine, which is an ontologybased distributed service disco...
151
click to vote
COLCOM
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract. The original purpose of Web metadata was to protect endusers from possible harmful content and to simplify search and retrieval. However they can also be exploited in mor...
128
click to vote
COLCOM
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper describes GroupBanter, a tool for supporting serendipitous group conversations using instant messaging. We investigate the potential of ephemeral group conversations by ...