Sciweavers

1508 search results - page 63 / 302
» Toward Software Plug-and-Play
Sort
View
CSMR
2009
IEEE
14 years 3 months ago
Cognac: A Framework for Documenting and Verifying the Design of Cobol Systems
For any non-trivial software project, architectural drift is a well-known problem. Over time, the design rules and guidelines governing the software project are no longer obeyed, ...
Andy Kellens, Kris De Schutter, Theo D'Hondt, Luc ...
ISSTA
2006
ACM
14 years 3 months ago
Performance assertions for mobile devices
Assertions have long been used to validate the functionality of software systems. Researchers and practitioners have extended them for validation of non-functional requirements, s...
Raimondas Lencevicius, Edu Metz
ERLANG
2004
ACM
14 years 2 months ago
Flow graphs for testing sequential Erlang programs
Testing of software components during development is a heavily used approach to detect programming errors and to evaluate the quality of software. Systematic approaches to softwar...
Manfred Widera
MOBILERESPONSE
2007
Springer
14 years 3 months ago
Towards the Integration of Real-Time Real-World Data in Urban Search and Rescue Simulation
Abstract. The coordinated reaction to a large-scale disaster is a challenging research problem. The Robocup rescue simulation league addresses this research problem but is currentl...
Holger Kenn, Alexander Kleiner
MIDDLEWARE
2004
Springer
14 years 2 months ago
Toward a standard ubiquitous computing framework
This paper surveys a variety of subsystems designed to be the building blocks from which sophisticated infrastructures for ubiquitous computing are assembled. Our experience shows...
Martin Modahl, Bikash Agarwalla, Gregory D. Abowd,...