6348 search results - page 672 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
164
click to vote
FOSSACS
2006
Springer
15 years 11 months ago
2006
Springer
In this paper, we study eight asynchronous communication primitives, arising from the combination of three features: arity (monadic vs polyadic data), communication medium (messag...
201
click to vote
FSTTCS
2006
Springer
15 years 11 months ago
2006
Springer
We propose a new approach to verification of probabilistic processes for which the model may not be available. We use a technique from Reinforcement Learning to approximate how far...
202
click to vote
FSTTCS
2006
Springer
15 years 11 months ago
2006
Springer
The standard symbolic, deducibility-based notions of secrecy are in general insufficient from a cryptographic point of view, especially in presence of hash functions. In this paper...
199
click to vote
APSEC
2001
IEEE
15 years 11 months ago
2001
IEEE
With the rapid growth of the Internet and pervasive computing activities, the migration of back-end legacy systems to network centric environments has become a focal point for res...
234
click to vote
EWSPT
2000
Springer
15 years 11 months ago
2000
Springer
Process support environments (PSEs) are widely used for modelling, enacting and analyzing human intensive processes. The benefits of a PSE become apparent when processes to be supp...