3239 search results - page 177 / 648 » A Logical Process Calculus |
104
Voted
TGC
2007
Springer
15 years 9 months ago
2007
Springer
Several models based on process calculi have addressed the definition of linguistic primitives for handling long running transactions and Service Level Agreement (SLA) in service ...
128
Voted
EPEW
2005
Springer
15 years 9 months ago
2005
Springer
We describe a UML-based method which supports model-driven development of service-oriented architectures including those used in Web services. Analysable content is extracted from ...
132
click to vote
SEMWEB
2005
Springer
15 years 8 months ago
2005
Springer
Although Semantic Web service discovery has been extensively studied in the literature ([7], [12], [15] and [10]), we are far from achieving an effective, complete and automated di...
117
click to vote
GC
2004
Springer
15 years 8 months ago
2004
Springer
The DEGAS project aims at enriching standard UML-centred development environments in such a way that the developers of global applications can exploit automated formal analyses wit...
101
click to vote
CONCUR
2000
Springer
15 years 7 months ago
2000
Springer
We add an operation of group creation to the typed π-calculus, where a group is a type for channels. Creation of fresh groups has the effect of statically preventing certain com...