Sciweavers

5792 search results - page 998 / 1159
» Communicating With Multiple Agents
Sort
View
LICS
2005
IEEE
16 years 19 days ago
Uniform Distributed Synthesis
We provide a uniform solution to the problem of synthesizing a finite-state distributed system. An instance of the synthesis problem consists of a system architecture and a tempo...
Bernd Finkbeiner, Sven Schewe
MOBIQUITOUS
2005
IEEE
16 years 19 days ago
MAIPAN - Middleware for Application Interconnection in Personal Area Networks
This paper proposes the Middleware for Application Interconnection in Personal Area Networks (MAIPAN), a middleware that provides a uniform computing environment for creating dyna...
Miklós Aurél Rónai, Kristof F...
MOBIQUITOUS
2005
IEEE
16 years 19 days ago
Practical Broadcast Authentication in Sensor Networks
Broadcast authentication is a critical security service in sensor networks; it allows a sender to broadcast messages to multiple nodes in an authenticated way. µTESLA and multi-l...
Donggang Liu, Peng Ning, Sencun Zhu, Sushil Jajodi...
MM
2005
ACM
108views Multimedia» more  MM 2005»
16 years 18 days ago
uPen: laser-based, personalized, multi-user interaction on large displays
We present the uPen, a laser pointer combined with a contactpushed switch, three press buttons and a wireless communication module. This novel interaction device allows users to i...
Xiaojun Bi, Yuanchun Shi, Xiaojie Chen, Peifeng Xi...
SIGIR
2005
ACM
16 years 18 days ago
Do summaries help?
We describe a task-based evaluation to determine whether multi-document summaries measurably improve user performance when using online news browsing systems for directed research...
Kathleen McKeown, Rebecca J. Passonneau, David K. ...