Sciweavers

3394 search results - page 80 / 679
» Hybrid Application Support for Mobile Information Systems
Sort
View
HYBRID
2000
Springer
13 years 11 months ago
Modular Specification of Hybrid Systems in CHARON
Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports bu...
Rajeev Alur, Radu Grosu, Yerang Hur, Vijay Kumar, ...
CHI
2008
ACM
14 years 8 months ago
Sun dial: exploring techno-spiritual design through a mobile islamic call to prayer application
We present the design and formative evaluation of Sun Dial, an application that supports Muslims' prayer practices. We report on a study that involved identifying prayer as a...
Susan Wyche, Kelly E. Caine, Benjamin K. Davison, ...
GLOBECOM
2009
IEEE
14 years 2 months ago
The Resource-Optimized Differentially Modulated Hybrid AF/DF Cooperative Cellular Uplink
—In multi-user cellular uplinks cooperating mobiles may share their antennas in order to achieve transmit diversity by formig a virtual antenna array (VAA) in a distributed fashi...
Li Wang, Lajos Hanzo
CSFW
2009
IEEE
14 years 2 months ago
Tight Enforcement of Information-Release Policies for Dynamic Languages
This paper studies the problem of securing information release in dynamic languages. We propose (i) an intuitive framework for information-release policies expressing both what ca...
Aslan Askarov, Andrei Sabelfeld
DAIS
1997
13 years 9 months ago
Agent Groups in Mobile Agent Systems
One of the key arguments for mobile agent systems is the flexible usage of groups of agents. However, none of the existing mobile agent systems supports agent groups. In this pap...
Joachim Baumann, Nikolaos Radouniklis