7661 search results - page 353 / 1533 » Languages and the Computing Profession |
144
click to vote
ICALP
2005
Springer
16 years 8 days ago
2005
Springer
In this paper we study the link between formal and cryptographic models for security protocols in the presence of a passive adversary. In contrast to other works, we do not conside...
158
click to vote
ISSAC
2005
Springer
16 years 8 days ago
2005
Springer
This paper describes a method to use compiled, strongly typed Aldor domains in the interpreted, expression-oriented Maple environment. This represents a non-traditional approach t...
191
click to vote
SAC
2004
ACM
16 years 5 days ago
2004
ACM
The purpose of this paper is to investigate the use of a new concept in component communication, expressed by the channel based coordination language called ρέω, in the coordina...
185
click to vote
OTM
2004
Springer
16 years 3 days ago
2004
Springer
Globus has become a standard in the construction of Grid computing environments. However, it still needs more work and research to satisfy requirements from various grid applicatio...
180
click to vote
IFIP
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Context-aware computing involves the automatic tailoring of information and services based on the current location of the user. In this paper, we describe our experience ...