Sciweavers

8501 search results - page 53 / 1701
» Reactive process networks
Sort
View
AINA
2010
IEEE
14 years 3 months ago
Gradient Based Routing Support for Cooperative Multi-channel MAC in Ad Hoc Wireless Networks
— Growing popularity of wireless ad hoc networks leads to higher demands on performance of all TCP/IP stack layers. Usually ad hoc networks operate according to IEEE 802.11 stand...
Stepan Ivanov, Dmitri Botvich, Sasitharan Balasubr...
INTETAIN
2005
Springer
14 years 3 months ago
Adding Playful Interaction to Public Spaces
Public spaces are interactive by the very fact that they are designed to be looked at, walked around, and used by multitudes of people on a daily basis. Architects design such spac...
Amnon Dekel, Yitzhak Simon, Hila Dar, Ezri Tarazi,...
IFM
1999
Springer
101views Formal Methods» more  IFM 1999»
14 years 2 months ago
A Modular Framework for the Integration of Heterogeneous Notations and Tools
Abstract. We report on the notation and tool integration framework developed in the application-oriented research project Espress. The framework is based on a Z core and provides m...
Robert Büssow, Wolfgang Grieskamp
SPLC
2004
13 years 11 months ago
Automatic Generation of Program Families by Model Restrictions
We study the generative development of control programs for families of embedded devices. A software family is described by a single common model and restriction specifications for...
Andrzej Wesowski
CGF
2004
144views more  CGF 2004»
13 years 9 months ago
Crowd of Virtual Humans: a New Approach for Real Time Navigation in Complex and Structured Environments
The navigation activity is an every day practice for any human being capable of locomotion. Our objective in this work is to reproduce this crucial human activity inside virtual e...
Fabrice Lamarche, Stéphane Donikian