Sciweavers

9702 search results - page 1517 / 1941
» Communicating Mobile Processes
Sort
View
HAPTICS
2008
IEEE
15 years 7 months ago
Efficient Transport Protocol for Networked Haptics Applications
The performance of haptic application is highly sensitive to communication delays and losses of data. It implies several constraints in developing networked haptic applications. Th...
Raul Wirz, Manuel Ferre, Raúl Marín,...
HASE
2008
IEEE
15 years 7 months ago
Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
Kohei Sakurai, Péter Bokor, Neeraj Suri
171
Voted
AIS
2006
Springer
15 years 6 months ago
Developing methods to understand discourse and workspace in distributed computer-mediated interaction
This paper presents on-going research towards understanding the discourse and workspace in computer mediated interactions. More specifically we present the development of a series...
Renate Fruchter, Humberto Cavallin
ENTCS
2006
155views more  ENTCS 2006»
15 years 6 months ago
Biomolecular Agents as Multi-behavioural Concurrent Objects
In recent years, there has been increasing interest in computational models of biological systems based on various calculi of communicating processes, such as the stochastic pi-ca...
Denys Duchier, Céline Kuttler
CN
2007
137views more  CN 2007»
15 years 6 months ago
Georoy: A location-aware enhancement to Viceroy peer-to-peer algorithm
The success of experiences such as Seattle and Houston Wireless has attracted the attention on the so called wireless mesh community networks. These are wireless multihop networks...
Laura Galluccio, Giacomo Morabito, Sergio Palazzo,...
« Prev « First page 1517 / 1941 Last » Next »