16725 search results - page 2741 / 3345 » Engineering Software Correctness |
216
click to vote
MIDDLEWARE
2007
Springer
16 years 1 months ago
2007
Springer
The emergence of applications domains such as pervasive and autonomic computing has increased the need for customisation and dynamic adaptation of both distributed systems, and th...
194
click to vote
SAFECOMP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...
173
click to vote
CCECE
2006
IEEE
16 years 1 months ago
2006
IEEE
Services such as audio/video streaming, advertising, and software distribution can be delivered much more efficiently by Network Service Providers if multicast data distribution i...
195
click to vote
WCRE
2006
IEEE
16 years 1 months ago
2006
IEEE
We describe the design and implementation of FFE/x86 (File-Format Extractor for x86), an analysis tool that works on stripped executables (i.e., neither source code nor debugging ...
169
click to vote
MM
2006
ACM
16 years 1 months ago
2006
ACM
In this paper we describe Taking Sides, a performance using a real-time speech visualization software system called TextEngine. Taking Sides is a collaboration between our researc...