Sciweavers

3268 search results - page 301 / 654
» Structured Service Composition
Sort
View
GCC
2003
Springer
15 years 12 months ago
CoAuto: A Formal Model for Cooperative Processes
A formal model called CoAuto (Cooperative Automaton) is proposed ibe and analyze cooperative processes. A basic CoAuto abstracts the behaviors of a single active entity. It separat...
Jinlei Jiang, Meilin Shi
CPAIOR
2006
Springer
15 years 10 months ago
Traveling Tournament Scheduling: A Systematic Evaluation of Simulated Annealling
Abstract. This paper considers all the variants of the traveling tournament prob) proposed in [17, 7] to abstract the salient features of major league baseball (MLB) in the United ...
Pascal Van Hentenryck, Yannis Vergados
ICML
2010
IEEE
15 years 7 months ago
Asymptotic Analysis of Generative Semi-Supervised Learning
Semi-supervised learning has emerged as a popular framework for improving modeling accuracy while controlling labeling cost. Based on an extension of stochastic composite likeliho...
Joshua Dillon, Krishnakumar Balasubramanian, Guy L...
ENTCS
2010
99views more  ENTCS 2010»
15 years 6 months ago
Describing Secure Interfaces with Interface Automata
Interface automata are a model that allows for the representation of stateful interfaces. In this paper we introduce a variant of interface automata, which we call interface struc...
Matias Lee, Pedro R. D'Argenio
OTM
2010
Springer
15 years 4 months ago
Composing Near-Optimal Expert Teams: A Trade-Off between Skills and Connectivity
Abstract. Rapidly changing business requirements necessitate the adhoc composition of expert teams to handle complex business cases. Expertcentric properties such as skills, howeve...
Christoph Dorn, Schahram Dustdar