7109 search results - page 104 / 1422 » Process Algebra with Combinators |
FCT
2003
Springer
15 years 6 months ago
2003
Springer
We develop new proof techniques, based on non-interference, for the analysis of safety and liveness properties of cryptographic protocols expressed as terms of the process algebra ...
124
click to vote
JLP
2006
15 years 1 months ago
2006
As long as no cooperation between processes is supposed to take place, one may consider them separately and need not ask for the progress of the respective other processes. If a c...
110
click to vote
ER
2000
Springer
15 years 4 months ago
2000
Springer
Relational database systems represent the current standard technology for implementing database applications. Now that the object-oriented paradigm becomes more and more mature in...
126
click to vote
TDM
2004
15 years 2 months ago
2004
This paper presents the advantages of combining multiple document representation schemes for query processing of XML queries on content and structure. We show how extending the Te...
128
click to vote
IADIS
2004
15 years 2 months ago
2004
The ALPS project (Active Learning in Problem Solving) is building and evaluating an educational technology that combines cognitive tutors with a novel interactive questioning envi...