2167 search results - page 303 / 434 » Stochastic Process Algebras |
143
click to vote
SAC
2006
ACM
16 years 10 days ago
2006
ACM
Most previous work on information flow in process algebras has been based on untimed models of concurrency. It is obvious, however, that an observer might well use time to gain i...
192
click to vote
CSFW
2005
IEEE
16 years 19 hour ago
2005
IEEE
A number of key establishment protocols claim the property of forward secrecy, where the compromise of a longterm key does not result in the compromise of previously computed sess...
265
click to vote
APLAS
2005
ACM
15 years 12 months ago
2005
ACM
Message Sequence Charts (MSCs) are a graphical language for the description of scenarios in terms of message exchanges between communicating components in a distributed environment...
156
click to vote
GEOS
2005
Springer
15 years 12 months ago
2005
Springer
This paper analyses reported difficulties in spatial data retrieval from Internet portals, based on results from an empirical survey. The analysis reveals the problems which cause ...
165
click to vote
ER
2004
Springer
15 years 11 months ago
2004
Springer
In this paper, we develop a novel Web Usage Manipulation Language (WUML) which is a declarative language for manipulating Web log data. We assume that a set of trails formed by use...