285 search results - page 49 / 57 » Dynamic Symbolic Execution for Testing Distributed Objects |
124
click to vote
TC
2010
14 years 6 months ago
2010
Hybrid systems have emerged as an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. Under this paradigm, distr...
OOPSLA
2009
Springer
15 years 6 months ago
2009
Springer
Programs written in managed languages are compiled to a platform-independent intermediate representation, such as Java bytecode. The relative high level of Java bytecode has engen...
101
Voted
ICCSA
2005
Springer
15 years 5 months ago
2005
Springer
Today mobile computing is pervasively taking over the traditional desktop computing. Mobile devices are characterized by abrupt and unannounced changes in execution context. The ap...
CORR
2007
Springer
14 years 11 months ago
2007
Springer
Sequential change diagnosis is the joint problem of detection and identification of a sudden and unobservable change in the distribution of a random sequence. In this problem, the...
ERCIMDL
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Digital libraries are increasingly relying on distributed services to support increasingly complex tasks such as retrieval or preservation. While there is a growing body ...