Sciweavers

1746 search results - page 227 / 350
» Residual for Component Specifications
Sort
View
JLP
2006
126views more  JLP 2006»
15 years 4 months ago
Compositional modeling and refinement for hierarchical hybrid systems
In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language ...
Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky
RAS
2006
107views more  RAS 2006»
15 years 4 months ago
Quantifying patterns of agent-environment interaction
This article explores the assumption that a deeper (quantitative) understanding of the information-theoretic implications of sensory-motor coordination can help endow robots not o...
Danesh Tarapore, Max Lungarella, Gabriel Gó...
ADVCS
2004
65views more  ADVCS 2004»
15 years 4 months ago
Multiscale Complexity/Entropy
We discuss the role of scale dependence of entropy/complexity and its relationship to component interdependence. The complexity as a function of scale of observation is expressed ...
Y. Bar-Yam
TVCG
2008
121views more  TVCG 2008»
15 years 4 months ago
On the Visualization of Social and other Scale-Free Networks
This paper proposes novel methods for visualizing specifically the large power-law graphs that arise in sociology and the sciences. In such cases a large portion of edges can be sh...
Yuntao Jia, Jared Hoberock, Michael Garland, John ...
TWEB
2008
66views more  TWEB 2008»
15 years 4 months ago
An environment for flexible advanced compensations of Web service transactions
tions at runtime. We introduce the abstract service and adapter components which allow us to separate the compensation logic from the coordination logic. In this way, we can easily...
Michael Schäfer, Peter Dolog, Wolfgang Nejdl