Sciweavers

1150 search results - page 177 / 230
» Specifying Information-Flow Controls
Sort
View
IHIS
2005
ACM
14 years 1 months ago
Verifying web services composition based on hierarchical colored petri nets
Current Web services composition proposals, such as BPML, BPEL, WSCI, and OWL-S, provide notations for describing the control and data flows in Web service collaborations. However...
Yanping Yang, QingPing Tan, Yong Xiao
ATAL
2005
Springer
14 years 1 months ago
Agent synthesis: partnership and agreement in cooperative mobile agents
This work focuses on an emerging extension to traditional agent models, called Hierarchical Mobile Agents model, where an agent can contain other agents recursively. The model ena...
Fuyuki Ishikawa, Yasuyuki Tahara, Nobukazu Yoshiok...
EPEW
2005
Springer
14 years 1 months ago
Reasoning About Interaction Patterns in Choreography
Choreography languages provide a top-view design way for describing complex systems composed of services distributed over the network. The basic building block of such languages is...
Roberto Gorrieri, Claudio Guidi, Roberto Lucchi
GECCO
2005
Springer
113views Optimization» more  GECCO 2005»
14 years 1 months ago
Healthy daily meal planner
The purpose of this project is to develop a program that solves a bi-objective diet problem to propose the user a “healthy” daily meal according to some parameters specified b...
Aynur Kahraman, H. Aydolu Seven
GECCO
2005
Springer
139views Optimization» more  GECCO 2005»
14 years 1 months ago
Use of a genetic algorithm in brill's transformation-based part-of-speech tagger
The tagging problem in natural language processing is to find a way to label every word in a text as a particular part of speech, e.g., proper noun. An effective way of solving th...
Garnett Carl Wilson, Malcolm I. Heywood