Sciweavers

1156 search results - page 127 / 232
» Compositional Methods for Information-Hiding
Sort
View
ACAL
2009
Springer
14 years 3 months ago
Multivesicular Assemblies as Real-World Testbeds for Embryogenic Evolutionary Systems
Embryogenic evolution emulates in silico cell-like entities to get more powerful methods for complex evolutionary tasks. As simulations have to from the biological model, implicit ...
Maik Hadorn, Peter Eggenberger Hotz
FORMATS
2009
Springer
14 years 3 months ago
Critical Paths in the Partial Order Unfolding of a Stochastic Petri Net
In concurrent real-time processes, the speed of individual components has a double impact: on the one hand, the overall latency of a compound process is affected by the latency of...
Anne Bouillard, Stefan Haar, Sidney Rosario
SAS
2007
Springer
14 years 3 months ago
Optimal Abstraction on Real-Valued Programs
abstraction on real-valued programs David Monniaux Laboratoire d’informatique de l’´Ecole normale sup´erieure 45, rue d’Ulm, 75230 Paris cedex 5, France June 30, 2007 In t...
David Monniaux
LAWEB
2006
IEEE
14 years 3 months ago
Policy Support for Business-oriented Web Service Management
Policies have been adopted for many reasons within web services and Service-oriented Architecture in general. However, while they are a favoured method of management, this only oc...
Stephen Gorton, Stephan Reiff-Marganiec
NPAR
2006
ACM
14 years 3 months ago
Felt-based rendering
Felt is mankind’s oldest and simplest textile, composed of a pressed mass of fibers. Images can be formed directly in the fabric by arranging the fibers to represent the image...
Peter O'Donovan, David Mould