5255 search results - page 472 / 1051 » Formal Methods for Privacy |
190
click to vote
EDOC
2000
IEEE
15 years 11 months ago
2000
IEEE
Practical experience indicates that the definition of realworld workflow applications is a complex and error-prone process. Existing workflow management systems provide the means,...
218
click to vote
AGTIVE
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. In the paper Support for Design Patterns through Graph Transformation Tools in this volume, we have already outlined the global structure of a tool that allows for the an...
195
click to vote
AGTIVE
1999
Springer
15 years 11 months ago
1999
Springer
We discuss geometric positioning, highlighting of visited nodes and user defined highlighting that form the algorithm animation facilities in the Grrr graph rewriting programming l...
177
click to vote
FM
1999
Springer
15 years 11 months ago
1999
Springer
Timed Communicating Object Z (TCOZ) combines Object-Z's strengths in modeling complex data and algorithms with Timed CSP's strengths in modeling real-time concurrency. TC...
180
click to vote
FM
1999
Springer
15 years 11 months ago
1999
Springer
ÐIn this paper, we describe the incremental specification of a power transformer station controller using a controller synthesis methodology. We specify the main requirements as s...