Sciweavers

1081 search results - page 9 / 217
» Hierarchical Heterogeneous Specifications
Sort
View
97
Voted
HYBRID
2007
Springer
15 years 8 months ago
Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications
Georgios E. Fainekos, Antoine Girard, George J. Pa...
119
Voted
ICICS
2009
Springer
15 years 8 months ago
Computationally Secure Hierarchical Self-healing Key Distribution for Heterogeneous Wireless Sensor Networks
Yanjiang Yang, Jianying Zhou, Robert H. Deng, Feng...
AMAST
2004
Springer
15 years 5 months ago
Towards Correspondence Carrying Specifications
Abstract. In this work we study the unification of heterogeneous partial specifications using category theory. We propose an alternative to inn morphisms, which we call (abstract) ...
Marius C. Bujorianu, Eerke A. Boiten
GRID
2006
Springer
15 years 1 months ago
Performance models for hierarchical grid architectures
Main characteristics of large
Paolo Cremonesi, Roberto Turrin