Sciweavers

527 search results - page 45 / 106
» Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems
Sort
View
DSOM
2009
Springer
14 years 3 months ago
Self-optimizing Hybrid Routing in Publish/Subscribe Systems
Rendering networks and distributed systems self-managing and self-optimizing has become a major research focus. This task is especially important for systems, such as publish/subsc...
Arnd Schröter, Daniel Graff, Gero Mühl, ...
HICSS
2003
IEEE
144views Biometrics» more  HICSS 2003»
14 years 2 months ago
A Hybrid Approach for User Profiling
With the growing amount of information being digitized, users find it difficult to obtain the most relevant information that is hidden in the deluge of information returned to the...
Danny Chiang Choon Poo, Brian Chng, Jie-Mein Goh
CN
2007
132views more  CN 2007»
13 years 8 months ago
FluNet: A hybrid internet simulator for fast queue regimes
Motivated by the scale and complexity of simulating large-scale networks, recent research has focused on hybrid fluid/packet simulators, where fluid models are combined with pac...
Yung Yi, Sanjay Shakkottai
RTCSA
1997
IEEE
14 years 27 days ago
Behavior verification of hybrid real-time requirements by qualitative formalism
Although modern control theories have been successfully applied to solve a variety of problems, they are often mathematically and physically too specific to describe and analyze t...
Jang-Soo Lee, Sung Deok Cha
SI3D
2003
ACM
14 years 1 months ago
Incorporating dynamic real objects into immersive virtual environments
We present algorithms that enable virtual objects to interact with and respond to virtual representations, avatars, of real objects. These techniques allow dynamic real objects, s...
Benjamin Lok, Samir Naik, Mary C. Whitton, Frederi...