Sciweavers

1404 search results - page 70 / 281
» On the Behavior of Complex Object-Oriented Systems
Sort
View
DAC
2000
ACM
16 years 25 days ago
Synthesis and optimization of coordination controllers for distributed embedded systems
A main advantage of control composition with modal processes [4] is the enhanced retargetability of the composed behavior over a wide variety of target architectures. Unlike previ...
Pai H. Chou, Gaetano Borriello
TGC
2005
Springer
15 years 5 months ago
A Practical Formal Model for Safety Analysis in Capability-Based Systems
Abstract. We present a formal system that models programmable abstractions for access control. Composite abstractions and patterns of arbitrary complexity are modeled as a configu...
Fred Spiessens, Peter Van Roy
ICRA
1998
IEEE
154views Robotics» more  ICRA 1998»
15 years 4 months ago
Environmental Complexity Control for Vision-Based Learning Mobile Robot
This paper discusses how a robot can develop its state vector according to the complexity of the interactions with its environment. A method for controlling the complexity is prop...
Eiji Uchibe, Minoru Asada, Koh Hosoda
ATAL
2006
Springer
15 years 3 months ago
Junta distributions and the average-case complexity of manipulating elections
Encouraging voters to truthfully reveal their preferences in an election has long been an important issue. Previous studies have shown that some voting protocols are hard to manip...
Ariel D. Procaccia, Jeffrey S. Rosenschein
SASO
2010
IEEE
14 years 9 months ago
Extracting Overlay Invariants of Distributed Systems for Autonomic System Management
Many large-scale distributed systems have been built with great complexity to run Internet services. Due to the heterogeneity and dynamics of complex systems, it is very difficult ...
Hanhuai Shan, Guofei Jiang, Kenji Yoshihira