5599 search results - page 89 / 1120 » Abstract State Services |
131
Voted
EUC
2004
Springer
15 years 7 months ago
2004
Springer
In a ubiquitous computing environment, users continuously access computing services and interact with smart spaces, while moving from one place to another. Application migration, t...
TOOLS
2000
IEEE
15 years 6 months ago
2000
IEEE
Today, distributed object-based computing is closely linked with Java. The Java virtual machine is ported to most current operating systems and provides many services which help d...
113
click to vote
ICFP
2010
ACM
15 years 2 months ago
2010
ACM
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...
111
click to vote
DAGSTUHL
2006
15 years 3 months ago
2006
An incremental development framework which supports a conform construction of Protocol State Machines (PSMs) is presented. We capture design concepts and strategies of PSM constru...
123
click to vote
ISSTA
2006
ACM
15 years 7 months ago
2006
ACM
The popularity of object-oriented programming has led to the wide use of container libraries. It is important for the reliability of these containers that they are tested adequate...