Sciweavers

2697 search results - page 408 / 540
» Collaborative interactive evolution
Sort
View
ENTCS
2006
146views more  ENTCS 2006»
14 years 10 months ago
Formalizing WSBPEL Business Processes Using Process Algebra
Industry standards for Web Service composition, such as WSBPEL, provide the notation and additional control mechanisms for the execution of business processes in Web Service colla...
Javier Cámara, Carlos Canal, Javier Cubo, A...
ENTCS
2006
135views more  ENTCS 2006»
14 years 10 months ago
Formal Semantics and Analysis of Component Connectors in Reo
We present an operational semantics for a component composition language called Reo. Reo connectors exogenously compose and coordinate the interactions among individual components...
Mohammad Reza Mousavi, Marjan Sirjani, Farhad Arba...
IJWGS
2008
116views more  IJWGS 2008»
14 years 10 months ago
Harnessing user contributions and dynamic profiling to better satisfy individual information search needs
: In the situation of information overload we are experiencing today, conventional web search systems taking a one-size-fits-all approach are often not capable of effectively satis...
Roman Y. Shtykh, Qun Jin
ITSSA
2006
91views more  ITSSA 2006»
14 years 10 months ago
Organization Detection Using Emergent Computing
: Organization is a central concept in systems. In this paper an ant algorithm for detecting organizations is presented. In a discrete-time context, at each time-step, an organizat...
Cyrille Bertelle, Antoine Dutot, Fréd&eacut...
KER
2006
158views more  KER 2006»
14 years 10 months ago
Formal systems for persuasion dialogue
This article reviews formal systems that regulate persuasion dialogues. In such dialogues two or more participants aim to resolve a difference of opinion, each trying to persuade ...
Henry Prakken