5159 search results - page 447 / 1032 » Structural Testing of Executables |
227
click to vote
IWUC
2004
15 years 9 months ago
2004
Abstract. This study proposes a methodology that allows the flexible and maintainable development of application based on mobile agent to a ubiquitous environment. Ubiquitous envir...
172
click to vote
ISTA
2003
15 years 9 months ago
2003
: Development of distributed systems is complicated by the absence of reliable global timing, concurrency, and nondeterminism. To deal with these obstacles log files are produced b...
260
click to vote
WIESS
2000
15 years 9 months ago
2000
HP Caliper is an architecture for software developer tools that deal with executable (binary) programs. It provides a common framework that allows building of a wide variety of to...
225
click to vote
CLEIEJ
2006
15 years 7 months ago
2006
The proposed software technique is a very low cost and an effective solution towards designing Byzantine fault tolerant computing application systems that are not so safety critic...
213
click to vote
ENTCS
2006
15 years 7 months ago
2006
In this paper, we study several linear-time equivalences (Markovian trace equivalence, failure and ready trace equivalence) for continuous-time Markov chains that refer to the pro...