2171 search results - page 64 / 435 » A Generic Process Algebra |
107
click to vote
PODS
2010
ACM
15 years 5 months ago
2010
ACM
We investigate a higher-order query language that embeds operators of the positive relational algebra within the simply-typed λ-calculus. Our language allows one to succinctly de...
124
click to vote
EUSFLAT
2009
14 years 10 months ago
2009
The need for an automatic inference process able to deal with information coming from unreliable sources is becoming a relevant issue both on corporate networks and on the open Web...
FMCO
2005
Springer
15 years 6 months ago
2005
Springer
We present a method for decomposing modal formulas for processes with the internal action τ. To decide whether a process algebra term satisfies a modal formula, one can check whe...
102
Voted
BPM
2007
Springer
15 years 4 months ago
2007
Springer
Learning how to improve business processes is an evolutionary process that must be managed as other business processes (BPs) are managed in modern organizations. The proposed model...
103
Voted
CORR
2007
Springer
15 years 21 days ago
2007
Springer
Deployment of distributed applications on large systems, and especially on grid infrastructures, becomes a more and more complex task. Grid users spend a lot of time to prepare, in...