2106 search results - page 131 / 422 » Operational Semantics for DyLPs |
150
click to vote
DSS
2006
15 years 6 months ago
2006
This paper describes the concept of workflow merge and methods for merging business processes. We grouped merges in four categories according to the type of merge: sequential, par...
119
click to vote
ENTCS
2002
15 years 6 months ago
2002
Building on previous work [15,8], this paper describes two syntactic ways of defining `well-behaved' operational semantics for timed processes. In both cases, the rules are d...
167
click to vote
AAI
2010
15 years 1 months ago
2010
In this paper, we propose a proof system for reasoning on certain specifications of secure authentication systems. For this purpose, a new logic, sequence-indexed linear-time temp...
196
click to vote
DEXA
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Wikis have demonstrated how it is possible to convert a community of strangers into a community of collaborators. Semantic wikis have opened an interesting way to mix web...
153
click to vote
ICDCSW
2006
IEEE
16 years 14 days ago
2006
IEEE
Business-to-business (B2B) data exchange and integration is a common daily operation in today’s organizations. These operations are crucial since they affect organizations’ ca...