Sciweavers

2558 search results - page 241 / 512
» Model Composition Contracts
Sort
View
137
Voted
WETICE
2005
IEEE
15 years 10 months ago
Towards a formal framework for Choreography
— One of the main challenges in the area of Service Oriented Computing, in general, and of Web services technology, in particular, is the definition of languages and models for ...
Nadia Busi, Roberto Gorrieri, Claudio Guidi, Rober...
GECCO
2004
Springer
105views Optimization» more  GECCO 2004»
15 years 10 months ago
Reducing the Cost of the Hybrid Evolutionary Algorithm with Image Local Response in Electronic Imaging
Abstract. The paper focuses on the efficiency of the hybrid evolutionary algorithm (HEA) for solving the global optimization problem arising in electronic imaging. The particular v...
Igor V. Maslov
149
Voted
GD
2003
Springer
15 years 10 months ago
Characterizing Families of Cuts That Can Be Represented by Axis-Parallel Rectangles
A drawing of a family of cuts of a graph is an augmented drawing of the graph such that every cut in the family is represented by a simple closed curve and vice versa. We show tha...
Ulrik Brandes, Sabine Cornelsen, Dorothea Wagner
132
Voted
CAISE
2001
Springer
15 years 9 months ago
Coordination Technologies for Managing Information System Evolution
Information System Engineering has become under increasing pressure to come up with software solutions that endow systems with the agility that is required to evolve in a continual...
Luis Filipe Andrade, José Luiz Fiadeiro
HOTOS
1999
IEEE
15 years 9 months ago
An Economic Approach to Adaptive Resource Management
Resource management is a fundamental concept in operating system design. In recent years it has become fashionable to consider the problem as an aspect of heterogeneous support fo...
Neil Stratford, Richard Mortier