3239 search results - page 346 / 648 » A Logical Process Calculus |
152
click to vote
FSEN
2009
Springer
15 years 8 months ago
2009
Springer
The rCOS modeler implements the requirements modelling phase of a model driven component-based software engineering process. Components are specified in rCOS, a relational calculus...
150
click to vote
BPM
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Web services composition is an emerging paradigm for enabling application integration within and across organizational boundaries. Current Web services composition propos...
143
click to vote
MSV
2007
15 years 5 months ago
2007
Abstract—Service requests are the origin of every service provisioning process and therefore the entities to be considered first. Similar to Physics and Engineering Sciences, ser...
117
click to vote
UAI
2008
15 years 5 months ago
2008
Formal languages for probabilistic modeling enable re-use, modularity, and descriptive clarity, and can foster generic inference techniques. We introduce Church, a universal langu...
131
click to vote
CAISE
2010
Springer
15 years 4 months ago
2010
Springer
Task delegation presents one of the business process security leitmotifs. It defines a mechanism that bridges the gap between both workflow and access control systems. There are tw...