Sciweavers

4616 search results - page 803 / 924
» The Communication Complexity of Correlation
Sort
View
198
Voted
ENTCS
2002
143views more  ENTCS 2002»
15 years 6 months ago
Collecting Statistics over Runtime Executions
Abstract. We present an extension to linear-time temporal logic (LTL) that combines the temporal specification with the collection of statistical data. By collecting statistics ove...
Bernd Finkbeiner, Sriram Sankaranarayanan, Henny S...
222
Voted
ENTCS
2007
145views more  ENTCS 2007»
15 years 6 months ago
Design, Analysis and Performance Evaluation of Group Key Establishment in Wireless Sensor Networks
Wireless sensor networks are comprised of a vast number of ultra-small autonomous computing, communication and sensing devices, with restricted energy and computing capabilities, ...
Ioannis Chatzigiannakis, Elisavet Konstantinou, Va...
145
Voted
JDM
2000
128views more  JDM 2000»
15 years 6 months ago
Distributed Database Design for Mobile Geographical Applications
Advanced Traveler Information Systems (ATIS) require e cient information retrieval and updating in a dynamic environment at di erent geographical scales. ATIS applications are use...
Manhoi Choy, Mei-Po Kwan, Hong Va Leong
COMCOM
1998
106views more  COMCOM 1998»
15 years 6 months ago
Algorithms for delay-constrained low-cost multicast tree construction
With the proliferation of multimedia group applications, the construction of multicast trees satisfying Quality of Service QoS requirements is becoming a problem of prime import...
R. Sriram, Govindarasu Manimaran, C. Siva Ram Murt...
165
Voted
AAMAS
1999
Springer
15 years 6 months ago
An Agent Framework for Intranet Document Management
Document management inside an organization is a complex and broadly scoped problem. This paper approaches the technical and social issues of Intranet document management by develop...
Mark Ginsburg