852 search results - page 144 / 171 » The design, implementation, and application of the grewpEdit... |
HYBRID
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system...
CASES
2006
ACM
15 years 4 months ago
2006
ACM
Dynamic binary instrumentation (DBI) is a powerful technique for analyzing the runtime behavior of software. While numerous DBI frameworks have been developed for general-purpose ...
99
Voted
MM
2004
ACM
15 years 3 months ago
2004
ACM
In this paper, we describe ChucK – a programming language and programming model for writing precisely timed, concurrent audio synthesis and multimedia programs. Precise concurre...
85
Voted
ATAL
2000
Springer
15 years 2 months ago
2000
Springer
A perennial challenge in creating and using complex autonomous agents is following their choices of actions as the world changes dynamically and understanding why they act as they ...
ICSE
2000
IEEE-ACM
15 years 1 months ago
2000
IEEE-ACM
Is there such a thing anymore as a software system that doesn't need to be secure? Almost every softwarecontrolled system faces threats from potential adversaries, from Inter...