499 search results - page 68 / 100 » Raising Programming Abstraction from Objects to Services |
164
click to vote
CADE
2004
Springer
16 years 4 months ago
2004
Springer
contexts such as construction of abstractions, speed may be favored over completeness, so that undecidable theories (e.g., nonlinear integer arithmetic) and those whose decision pr...
137
click to vote
OOPSLA
2005
Springer
15 years 10 months ago
2005
Springer
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The speonstraint expressed is that the abstract state of the object to whi...
130
click to vote
LISA
2007
15 years 6 months ago
2007
Existing applications often contain security holes that are not patched until after the system has already been compromised. Even when software updates are available, applying the...
146
click to vote
SSS
2005
Springer
15 years 10 months ago
2005
Springer
We present simple algorithms for achieving self-stabilizing location management and routing in mobile ad-hoc networks. While mobile clients may be susceptible to corruption and sto...
125
click to vote
JUCS
2010
15 years 2 months ago
2010
: For many complex and dynamic ubiquitous services, context-aware cooperation can be a solution. However, the way is not yet clear to make individual objects cooperate with each ot...