Sciweavers

7918 search results - page 138 / 1584
» Model Composition Directives
Sort
View
139
Voted
ICWS
2004
IEEE
15 years 4 months ago
Dynamic Workflow Composition using Markov Decision Processes
The advent of Web services has made automated workflow composition relevant to Web based applications. One technique that has received some attention, for automatically composing ...
Prashant Doshi, Richard Goodwin, Rama Akkiraju, Ku...
148
Voted
ASE
2005
102views more  ASE 2005»
15 years 2 months ago
Modular Verification of Open Features Using Three-Valued Model Checking
Feature-oriented programming organizes programs around features rather than objects, thus better supporting extensible, product-line architectures. Programming languages increasin...
Harry C. Li, Shriram Krishnamurthi, Kathi Fisler
CORR
2006
Springer
89views Education» more  CORR 2006»
15 years 2 months ago
Reuse of Specification Patterns with the B Method
This paper describes an approach for reusing specification patterns. Specification patterns are design patterns that are expressed in a formal specification language. Reusing a spe...
Sandrine Blazy, Frédéric Gervais, R&...
109
Voted
CVPR
2006
IEEE
16 years 4 months ago
Context and Hierarchy in a Probabilistic Image Model
It is widely conjectured that the excellent ROC performance of biological vision systems is due in large part to the exploitation of context at each of many levels in a part/whole...
Ya Jin, Stuart Geman
136
Voted
AICT
2006
IEEE
210views Communications» more  AICT 2006»
15 years 8 months ago
Model-Based Analysis of Obligations in Web Service Choreography
In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of...
Howard Foster, Sebastián Uchitel, Jeff Mage...