4386 search results - page 354 / 878 » A Tamper-Resistant Programming Language System |
114
Voted
UM
2009
Springer
15 years 10 months ago
2009
Springer
This paper proposes a novel trail sharing system for mobile devices that deals with context information collected by sensors, as well as users’ personal opinions (e.g., landscape...
102
click to vote
UM
2009
Springer
15 years 10 months ago
2009
Springer
To provide personalized health recommendations concerning disabled persons, an adaptive system needs a detailed user model that can account for the peculiar aspects of the many exi...
106
Voted
ESOP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper studies continuations by means of a polymorphic type system. The traditional call-by-name continuation passing style transform admits a typing in which some an...
125
click to vote
ECOOP
1999
Springer
15 years 8 months ago
1999
Springer
We develop an imperative calculus that provides a formal model for both single and mixin inheritance. By introducing classes and mixins as the basic object-oriented constructs in a...
129
Voted
ESOP
1999
Springer
15 years 8 months ago
1999
Springer
We define an extension of the π-calculus with a static type system which supports high-level specifications of extended patterns of communication, such as client-server protocol...