Sciweavers

4616 search results - page 767 / 924
» The Communication Complexity of Correlation
Sort
View
221
Voted
RTSS
2003
IEEE
16 years 11 days ago
Timed I/O Automata: A Mathematical Framework for Modeling and Analyzing Real-Time Systems
We describe the Timed Input/Output Automata (TIOA) framework, a general mathematical framework for modeling and analyzing real-time systems. It is based on timed I/O automata, whi...
Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segal...
SRDS
2003
IEEE
16 years 11 days ago
Service Continuations: An Operating System Mechanism for Dynamic Migration of Internet Service Sessions
We propose service continuations (SC), an OS mechanism that supports seamless dynamic migration of Internet service sessions between cooperating multi-process servers. Service con...
Florin Sultan, Aniruddha Bohra, Liviu Iftode
VISUALIZATION
2003
IEEE
16 years 11 days ago
Visually Accurate Multi-Field Weather Visualization
Weather visualization is a difficult problem because it comprises volumetric multi-field data and traditional surface-based approaches obscure details of the complex three-dimen...
Kirk Riley, David S. Ebert, Charles D. Hansen, Jas...
HT
2003
ACM
16 years 11 days ago
Browsing intricately interconnected paths
Graph-centric and node-centric browsing are the two commonly identified hypertext-browsing paradigms. We believe that pathcentric browsing, the browsing behavior exhibited by path...
Pratik Dave, Unmil Karadkar, Richard Furuta, Luis ...
ATAL
2003
Springer
16 years 10 days ago
Information-driven phase changes in multi-agent coordination
Large systems of agents deployed in a real-world environment face threats to their problem solving performance that are independent of the complexity of the problem or the charact...
Sven Brueckner, H. Van Dyke Parunak