Sciweavers

5793 search results - page 1010 / 1159
» Individual communication complexity
Sort
View
RTSS
2003
IEEE
14 years 3 months 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
14 years 3 months 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
14 years 3 months 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
14 years 3 months 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
14 years 3 months ago
Multiagent diffusion and distributed optimization
Distributed problem solving by a multiagent system represents a promising approach to solving complex computational problems. However, many multiagent systems require certain degr...
Kwok Ching Tsui, Jiming Liu
« Prev « First page 1010 / 1159 Last » Next »