2270 search results - page 335 / 454 » On the distribution of eigenvalues of graphs |
207
click to vote
WAC
2005
Springer
16 years 15 days ago
2005
Springer
Abstract. In this paper we describe ConStruct, a distributed, contextaggregation based service infrastructure which supports the development of context-aware applications. ConStruc...
178
Voted
SIGECOM
2004
ACM
16 years 14 days ago
2004
ACM
We provide efficient algorithms for finding approximate BayesNash equilibria (BNE) in graphical, specifically tree, games of incomplete information. In such games an agent’s p...
163
Voted
CONCUR
2004
Springer
16 years 13 days ago
2004
Springer
In this paper, we study model checking of timed automata (TAs), and more precisely we aim at finding efficient model checking for subclasses of TAs. For this, we consider model ch...
195
Voted
ISCIS
2004
Springer
16 years 12 days ago
2004
Springer
Considering wireless sensor networks for border surveillance, one of the major concerns is sensing coverage. Breach probability can be used as a measure to analyze the tradeoffs a...
158
click to vote
KBSE
2003
IEEE
16 years 9 days ago
2003
IEEE
We propose a practical parallel on-the-fly algorithm for enumerative LTL model-checking. The algorithm is designed for a cluster of workstations communicating via MPI. The detect...