598 search results - page 88 / 120 » A dynamic birthmark for java |
LISP
2008
13 years 8 months ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
PERCOM
2008
ACM
13 years 8 months ago
2008
ACM
The pervasive computing environment will be composed of heterogeneous services. In this work, we have explored how a domain specific language for service composition can be implem...
CLUSTER
2004
IEEE
13 years 8 months ago
2004
IEEE
This paper presents a framework for building and deploying protocols for migrating mobile agents over the Internet. The framework enables network protocols for agent migration to b...
OOPSLA
2010
Springer
13 years 6 months ago
2010
Springer
As software becomes increasingly complex and difficult to analyze, it is more and more common for developers to use high-level, type-safe, object-oriented (OO) programming langua...
STVR
2010
13 years 6 months ago
2010
Failures triggered by hard to debug defects usually involve complex interactions between many program elements. We hypothesize that information flows present a good model for such ...