Sciweavers

1004 search results - page 117 / 201
» Issues in Applying Empirical Software Engineering to Softwar...
Sort
View
VAMOS
2008
Springer
15 years 7 months ago
Reflective Component-based Technologies to Support Dynamic Variability
In this paper we propose an approach to support dynamic or runtime variability in systems that must adapt dynamically to changing runtime context. The approach is founded on refle...
Nelly Bencomo, Gordon S. Blair, Carlos A. Flores-C...
COMPSAC
2009
IEEE
15 years 4 months ago
A Survey of Physiological Monitoring Data Models to Support the Service of Critical Care
Vast quantities of data is created by utilizing sensors to gather information from patients located in intensive care units worldwide through physiological monitoring. The service ...
Carolyn McGregor, Kathleen P. Smith
MAGS
2008
114views more  MAGS 2008»
15 years 6 months ago
Automated formal analysis of human multi-issue negotiation processes
This paper reports on experiments in (human) multi-issue negotiation and their analysis, and presents a generic software environment supporting such an analysis. First, the paper p...
Tibor Bosse, Catholijn M. Jonker, Lourens van der ...
LCPC
2005
Springer
15 years 11 months ago
A Language for the Compact Representation of Multiple Program Versions
Abstract. As processor complexity increases compilers tend to deliver suboptimal performance. Library generators such as ATLAS, FFTW and SPIRAL overcome this issue by empirically s...
Sébastien Donadio, James C. Brodman, Thomas...
IJIT
2004
15 years 7 months ago
Modeling Biology Inspired Reactive Agents Using X-machines
Recent advances in both the testing and verification of software based on formal specifications of the system to be built have reached a point where the ideas can be applied in a p...
George Eleftherakis, Petros Kefalas, Anna Sotiriad...