714 search results - page 102 / 143 » The Formal Specification Language mCRL2 |
151
Voted
DEBU
2002
15 years 3 months ago
2002
Ontologies are set to play a key role in the "Semantic Web", extending syntactic interoperability to semantic interoperability by providing a source of shared and precis...
117
Voted
JUCS
2000
15 years 3 months ago
2000
: Evaluations of methods and tools applied to a reference problem are useful when comparing various techniques. In this paper, we present a solution to the challenge of capturing t...
130
Voted
RML
2002
15 years 3 months ago
2002
In E-commerce processes, various rules and constraints regarding product specifications, pricing, terms and conditions are exchanged between vendors and buyers. Developing a forma...
136
Voted
IFIP
2009
Springer
15 years 1 months ago
2009
Springer
Security-sensitive business processes are business processes that must comply with security requirements (e.g. authorization constraints). In previous works it has been shown that ...
160
Voted
JLP
2008
15 years 2 months ago
2008
Coordination languages were introduced in the early 80's as programming notations to manage the interaction among concurrent collaborating software entities. Process algebras...