Sciweavers

3238 search results - page 405 / 648
» Interactive Evolution of Images
Sort
View
JAR
2008
107views more  JAR 2008»
14 years 11 months ago
Differential Dynamic Logic for Hybrid Systems
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equat...
André Platzer
ENTCS
2007
118views more  ENTCS 2007»
14 years 11 months ago
Safe Adaptation of Component Coordination
In the domain of software engineering, the use of software components is now a well established approach. However, it raises problems about the dynamic adaptation of these compone...
Christophe Sibertin-Blanc, Philippe Mauran, G&eacu...
JSW
2006
71views more  JSW 2006»
14 years 11 months ago
Semantics and Extensions of WS-Agreement
When having repeated interactions with a service provider, a service consumer might desire guarantees on the delivery of the service. These guarantees involve both functional and n...
Ganna Frankova, Daniela Malfatti, Marco Aiello
JSW
2007
191views more  JSW 2007»
14 years 11 months ago
Building Self-Configuring Data Centers with Cross Layer Coevolution
Abstract—This paper describes a biologically-inspired architecture, called SymbioticSphere, which allows data centers to autonomously adapt to dynamic environmental changes. Symb...
Paskorn Champrasert, Junichi Suzuki
JUCS
2007
93views more  JUCS 2007»
14 years 11 months ago
Mapping Academic Collaboration Networks: Perspectives from the First Year of the Reusable Learning Objects CETL
: The 'Reusable Learning Objects' Centre for Excellence in Teaching and Learning (RLO-CETL) is a five-year project (2005-2010) involving staff from three universities (Lo...
Raquel Morales, Patrick Carmichael