2025 search results - page 272 / 405 » Minimal-Cut Model Composition |
ICWS
2009
IEEE
14 years 6 months ago
2009
IEEE
Recently, a new generation of adaptive process management technology has emerged, which enables dynamic changes of composite services and process models respectively. This, in tur...
ICMCS
2007
IEEE
14 years 3 months ago
2007
IEEE
Image based modeling and rendering techniques have become increasingly popular for creating and visualizing 3D models from a set of images. Typically, these techniques depend on v...
ASIACRYPT
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. In the standard general-adversary model for multi-party protocols, a global adversary structure is given, and every party must trust in this particular structure. We intr...
LICS
1996
IEEE
14 years 1 months ago
1996
IEEE
We present a formal model for concurrent systems. The model represents synchronous and asynchronous components in a uniform framework that supports compositional (assume-guarantee)...
ICFEM
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Today’s software systems are becoming increasingly configurable and designed for deployment on a plethora of architectures, ranging from sequential machines via multic...