645 search results - page 41 / 129 » Pure patterns type systems |
108
click to vote
HIPC
2000
Springer
15 years 3 months ago
2000
Springer
Many scientific applications manipulate large amount of data and, therefore, are parallelized on high-performance computing systems to take advantage of their computational power a...
138
click to vote
TRUSTBUS
2010
Springer
14 years 10 months ago
2010
Springer
: Context-Aware Privacy Design Pattern Selection Siani Pearson, Yun Shen HP Laboratories HPL-2010-74 Privacy, Design Patterns, Context Awareness User-related contextual factors...
103
click to vote
IEE
2002
14 years 11 months ago
2002
Abstract. This paper describes an approach to providing object persistence in object-oriented programming languages without modifying the run-time system or the language itself. By...
SIAMADS
2010
14 years 6 months ago
2010
We present a weakly nonlinear analysis of our recently developed model for the formation of crime patterns. Using a perturbative approach, we find amplitude equations that govern t...
FOSSACS
2003
Springer
15 years 5 months ago
2003
Springer
We define an operational semantics and a type system for manipulating semistructured data that contains hidden information. The data model is simple labeled trees with a hiding op...