18429 search results - page 252 / 3686 » Typing dynamic typing |
146
click to vote
CONCUR
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We present a discretely timed spi-calculus. A primitive for key compromise allows us to model key compromise attacks, thus going beyond the standard Dolev–Yao attacker ...
175
click to vote
ECOOPW
1999
Springer
15 years 11 months ago
1999
Springer
This paper formalizes the folklore result that strongly-typed applets are more secure than untyped ones. We formulate and prove several security properties that all well-typed app...
179
click to vote
ESEM
2007
ACM
15 years 8 months ago
2007
ACM
Systematic reviews are one of the key building blocks of evidence-based software engineering. Current guidelines for such reviews are, for a large part, based on standard meta-ana...
124
click to vote
DAGSTUHL
2008
15 years 8 months ago
2008
From 3 February to 8 February 2008, the Dagstuhl Seminar 08061 State" Conference and Research Center (IBFI), Schloss Dagstuhl. 45 researchers, with interests and expertise in ...
154
click to vote
LREC
2008
15 years 8 months ago
2008
We report on the evaluation of information structural annotation according to the Linguistic Information Structure Annotation Guidelines (LISA, (Dipper et al., 2007)). The annotat...