Sciweavers

1507 search results - page 231 / 302
» A Framework for Open Distributed System Design
Sort
View
117
Voted
FM
2006
Springer
113views Formal Methods» more  FM 2006»
15 years 7 months ago
Interface Input/Output Automata
We propose a new look at one of the most fundamental types of behavioral interfaces: discrete time specifications of communication--directly related to the work of de Alfaro and H...
Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasows...
145
Voted
ICMCS
2005
IEEE
126views Multimedia» more  ICMCS 2005»
15 years 9 months ago
Semantic Routing and Filtering for Large-Scale Video Streams Monitoring
In this paper, we propose a semantic routing and filtering framework for large-scale monitoring of video streams. Our goal is to build a distributed system that at any given time ...
Ching-Yung Lin, Olivier Verscheure, Lisa Amini
MIDDLEWARE
2004
Springer
15 years 8 months ago
Adaptive resource discovery for ubiquitous computing
The terms pervasive and ubiquitous computing are used to describe a smart space populated by hundreds of intelligent devices that are embedded in their surroundings. Characteristi...
Rae Harbird, Stephen Hailes, Cecilia Mascolo
DAC
2006
ACM
16 years 4 months ago
An efficient and versatile scheduling algorithm based on SDC formulation
Scheduling plays a central role in the behavioral synthesis process, which automatically compiles high-level specifications into optimized hardware implementations. However, most ...
Jason Cong, Zhiru Zhang
CORR
2010
Springer
186views Education» more  CORR 2010»
15 years 3 months ago
Capacitated Caching Games
Capacitated Caching (CC) Games are motivated by P2P and web caching applications, and involve nodes on a network making strategic choices regarding the content to replicate in the...
Ragavendran Gopalakrishnan, Dimitrios Kanoulas, Na...