1116 search results - page 154 / 224 » Key Agreement Using Statically Keyed Authenticators |
DSL
2009
13 years 5 months ago
2009
Traversals of heterogeneous object structures are the most common operations in schema-first applications where the three key issues are (1) separation of traversal specifications ...
ESOP
2010
Springer
14 years 2 months ago
2010
Springer
In 2003, Hofmann and Jost introduced a type system that uses a potential-based amortized analysis to infer bounds on the resource consumption of (first-order) functional programs....
ICANN
2009
Springer
14 years 2 months ago
2009
Springer
Model complexity is key concern to any artificial learning system due its critical impact on generalization. However, EC research has only focused phenotype structural complexity ...
ICSR
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Design pattern formalization is aimed at encouraging the use of design patterns during the design phase. Many approaches focuses on providing solutions with a graphical n...
AUIC
2006
IEEE
14 years 1 months ago
2006
IEEE
Mobile display devices such as phones and PDAs have become very widely available and used. However, most content on these devices is limited to text, static images and motion vide...