5415 search results - page 986 / 1083 » The Implementation of Functional Programming Languages |
111
click to vote
ICALP
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. The use of passwords in security protocols is particularly delicate because of the possibility of off-line guessing attacks. We study password-based protocols in the cont...
140
click to vote
AOSD
2004
ACM
15 years 7 months ago
2004
ACM
We propose a linguistic mechanism for AspectJ-like languages that concisely associates aspect instances to object groups. The mechanism, which supports association aspects, extend...
IFIP
2003
Springer
15 years 6 months ago
2003
Springer
The Dynamic Device Association (DDA) framework presented in this paper provides service discovery and secure device access for mobile users. We discuss scenarios and requirements f...
124
click to vote
SLE
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Model-Driven Software Development is based on standardised models that are refined, transformed and eventually translated into executable code using code generators. How...
FMCAD
1998
Springer
15 years 5 months ago
1998
Springer
Executable formal speci cation can allow engineers to test (or simulate) the speci ed system on concrete data before the system is implemented. This is beginning to gain acceptance...