1012 search results - page 128 / 203 » Process Algebra with Backtracking |
127
click to vote
INEX
2004
Springer
15 years 7 months ago
2004
Springer
This paper discusses our participation in INEX using the TIJAH XML-IR system. We have enriched the TIJAH system, which follows a standard layered database architecture, with severa...
109
click to vote
SP
1996
IEEE
15 years 6 months ago
1996
IEEE
Security properties such as con dentiality and authenticity may be considered in terms of the ow of messages within a network. To the extent that this characterisation is justi ed...
112
Voted
ECTEL
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Expressing generality, recognising and analysing patterns and articulating structure is a complex task and one that is invariably problematic for students. Nonetheless, v...
125
Voted
ICWS
2008
IEEE
15 years 3 months ago
2008
IEEE
BPEL (Business Process Execution Language) has become the standard for specifying and executing workflow specifications for web service composition invocation. A major weakness of ...
115
click to vote
FAC
2002
15 years 2 months ago
2002
Action calculi, which generalise process calculi such as Petri nets, -calculus and ambient calculus, have been presented in terms of action graphs. We here offer linear action grap...