496 search results - page 52 / 100 » Generation Gaps Revisited |
150
click to vote
ICWE
2007
Springer
15 years 11 months ago
2007
Springer
: In this work we report our experience in applying model checking techniques to the analysis of static and dynamic properties of Web application models. We propose a mix of tools ...
156
click to vote
DATE
2006
IEEE
15 years 11 months ago
2006
IEEE
With the increasing complexity and heterogeneity of embedded electronic systems, a unified design methodology at evels of abstraction becomes a necessity. Meanwhile, it is also i...
144
click to vote
ASIACRYPT
2005
Springer
15 years 10 months ago
2005
Springer
The security of key agreement protocols has traditionally been notoriously hard to establish. In this paper we present a modular approach to the construction of proofs of security ...
165
Voted
WAC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper we describe ConStruct, a distributed, contextaggregation based service infrastructure which supports the development of context-aware applications. ConStruc...
177
click to vote
MM
2004
ACM
15 years 10 months ago
2004
ACM
The recent popularity of mobile camera phones allows for new opportunities to gather important metadata at the point of capture. This paper describes a method for generating metad...