10462 search results - page 336 / 2093 » Towards a |
205
click to vote
BPM
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. In order to support business processes effectively, their implementation by a process management systems (PMS) must be as close to the real world’s processes as possib...
141
click to vote
CAISE
2005
Springer
16 years 9 days ago
2005
Springer
This paper discusses the concept of information market. The authors of this paper have been involved in several aspects of information retrieval research. In continuing this resear...
159
click to vote
CALCO
2005
Springer
16 years 9 days ago
2005
Springer
We consider open terms and parametric rules in the context of the systematic derivation of labelled transitions from reduction systems.
182
click to vote
CCS
2005
ACM
16 years 9 days ago
2005
ACM
d abstract) Prateek Gupta and Vitaly Shmatikov The University of Texas at Austin We present a cryptographically sound formal method for proving correctness of key exchange protoco...