Sciweavers

2050 search results - page 66 / 410
» A formal foundation for process modeling
Sort
View
BPM
2003
Springer
102views Business» more  BPM 2003»
15 years 11 months ago
A Process-Oriented Model for Authentication on the Basis of a Coloured Petri Net
Abstract. Public-key cryptography is a prerequisite for security in distributed systems and for reliable electronic commerce. The protection of public keys against attacks is the A...
Peter Lory
TAGT
1998
Springer
156views Graph Theory» more  TAGT 1998»
15 years 10 months ago
Graph-Based Models for Managing Development Processes, Resources, and Products
Abstract. Management of development processes in di erent engineering disciplines is a challenging task. We present an integrated approach which covers not only the activities to b...
Carl-Arndt Krapp, Sven Krüppel, Ansgar Schlei...
COLING
1996
15 years 7 months ago
Processing Metonymy- a Domain-Model Heuristic Graph Traversal Approach
We address here the treatment of metonymic expressions from a knowledge representation perspective, that is, in the context of a text understanding system which aims to build a co...
Jacques Bouaud, Bruno Bachimont, Pierre Zweigenbau...
ICDE
2007
IEEE
119views Database» more  ICDE 2007»
16 years 19 days ago
Fast and Reliable Stream Processing over Wide Area Networks
We present a replication-based approach that enables both fast and reliable stream processing over wide area networks. Our approach replicates stream processing operators in a man...
Jeong-Hyon Hwang, Ugur Çetintemel, Stanley ...
CONCUR
2005
Springer
15 years 12 months ago
SOS for Higher Order Processes
d Abstract) MohammadReza Mousavi1 , Murdoch J. Gabbay2 , and Michel A. Reniers1 1 Department of Computer Science, 2 Department of Computer Science, Eindhoven University of Technolo...
Mohammad Reza Mousavi, Murdoch Gabbay, Michel A. R...