Sciweavers

5398 search results - page 50 / 1080
» On the Effective Use of Software Standards in Systems Integr...
Sort
View
NAACL
1994
13 years 9 months ago
Speech-Based Retrieval Using Semantic Co-Occurrence Filtering
In this paper we demonstrate that speech recognition can be effectively applied to information retrieval (IR) applications. Our system exploits the fact that the intended words of...
Julian Kupiec, Don Kimber, Vijay Balasubramanian
ICCAD
2008
IEEE
151views Hardware» more  ICCAD 2008»
14 years 4 months ago
Race analysis for SystemC using model checking
—SystemC is a system-level modeling language that offers a wide range of features to describe concurrent systems rent levels of abstraction. The SystemC standard permits simulato...
Nicolas Blanc, Daniel Kroening
JOT
2008
137views more  JOT 2008»
13 years 7 months ago
Extension of Object-Oriented Software Testing Techniques to Agent Oriented Software Testing
In recent years, agent-based systems have received considerable attention in both academics and industry. The agent-oriented paradigm can be considered a natural extension to the ...
Praveen Ranjan Srivastava, Karthik Anand V, Mayuri...
ICSE
1999
IEEE-ACM
14 years 4 days ago
A Cooperative Approach to Support Software Deployment Using the Software Dock
Software deployment is an evolving collection of interrelated processes such as release, install, adapt, reconfigure, update, activate, deactivate, remove, and retire. The connect...
Richard S. Hall, Dennis Heimbigner, Alexander L. W...
TAP
2008
Springer
144views Hardware» more  TAP 2008»
13 years 7 months ago
Integrating Verification and Testing of Object-Oriented Software
Formal methods can only gain widespread use in industrial software development if they are integrated into software development techniques, tools, and languages used in practice. A...
Christian Engel, Christoph Gladisch, Vladimir Kleb...