496 search results - page 52 / 100 » Generation Gaps Revisited |
ICWE
2007
Springer
15 years 6 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 ...
DATE
2006
IEEE
15 years 5 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...
ASIACRYPT
2005
Springer
15 years 5 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 ...
114
click to vote
WAC
2005
Springer
15 years 5 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...
118
click to vote
MM
2004
ACM
15 years 5 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...