Sciweavers

185 search results - page 6 / 37
» Invariants, Modularity, and Rights
Sort
View
CORR
2007
Springer
94views Education» more  CORR 2007»
13 years 7 months ago
Size reduction of complex networks preserving modularity
The ubiquity of modular structure in real-world complex networks is being the focus of attention in many trials to understand the interplay between network topology and functionali...
Alex Arenas, J. Duch, A. Fernandez, Sergio G&oacut...
FSTTCS
1998
Springer
13 years 12 months ago
A Synchronous Semantics of Higher-Order Processes for Modeling Reconfigurable Reactive Systems
Abstract. Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation ...
Jean-Pierre Talpin, David Nowak
ECOOP
2004
Springer
14 years 1 months ago
Object Invariants in Dynamic Contexts
Abstract. Object invariants describe the consistency of object-oriented data structures and are central to reasoning about the correctness of object-oriented software. Yet, reasoni...
K. Rustan M. Leino, Peter Müller
ICRA
2003
IEEE
149views Robotics» more  ICRA 2003»
14 years 29 days ago
Curvature Based Point Stabilization for Compliant Framed Wheeled Modular Mobile Robots
- Posture stabilization of a compliant framed modular mobile robot is the subject of this paper. This is a new type of wheeled mobile robot that has advantages of a simple modular ...
Brian W. Albiston, Mark A. Minor
EJC
2007
13 years 7 months ago
On some enumerative aspects of generalized associahedra
We prove a conjecture of F. Chapoton relating certain enumerative invariants of (a) the cluster complex associated by S. Fomin and A. Zelevinsky with a finite root system and (b)...
Christos A. Athanasiadis