Sciweavers

4615 search results - page 395 / 923
» Complex networks as control paradigm for complex systems
Sort
View
WOA
2003
15 years 8 months ago
Using a Properties Based Naming System in Mobile Agents Environments for Pervasive Computing
— Mobile Agents model is widely accepted as a good solution to simplify the coordination in a complex and distributed environment. Pervasive computing, presents many issues regar...
Fabio Tarantino, Alessio Ravani, Mario Zambrini
FDL
2007
IEEE
16 years 1 months ago
Automatic High Level Assertion Generation and Synthesis for Embedded System Design
SystemVerilog encapsulates both design description and verification properties in one language and provides a unified environment for engineers who have the formidable challenge o...
Lun Li, Frank P. Coyle, Mitchell A. Thornton
HYBRID
2004
Springer
16 years 6 days ago
Constructing Invariants for Hybrid Systems
Abstract. An invariant of a system is a predicate that holds for every reachable state. In this paper, we present techniques to generate invariants for hybrid systems. This is achi...
Sriram Sankaranarayanan, Henny Sipma, Zohar Manna
MM
2010
ACM
185views Multimedia» more  MM 2010»
15 years 7 months ago
The virtual chocolate factory: mixed reality industrial collaboration and control
We show several aspects of a complex mixed reality system that we have built and deployed in a real-world factory setting. In our system, virtual worlds, augmented realities, and ...
Maribeth Back, Don Kimber, Eleanor G. Rieffel, Ant...
ICAS
2009
IEEE
126views Robotics» more  ICAS 2009»
16 years 1 months ago
Self-Adaptive Techniques for the Load Trend Evaluation of Internal System Resources
Modern distributed systems that have to avoid performance degradation and system overload require several runtime management decisions for load balancing and load sharing, overloa...
Sara Casolari, Michele Colajanni, Stefania Tosi