Sciweavers

1508 search results - page 157 / 302
» Toward Software Plug-and-Play
Sort
View
SIGSOFT
2009
ACM
14 years 11 months ago
Asserting and checking determinism for multithreaded programs
The trend towards processors with more and more parallel cores is increasing the need for software that can take advantage of parallelism. The most widespread method for writing p...
Jacob Burnim, Koushik Sen
KDD
2002
ACM
112views Data Mining» more  KDD 2002»
14 years 11 months ago
From run-time behavior to usage scenarios: an interaction-pattern mining approach
A key challenge facing IT organizations today is their evolution towards adopting e-business practices that gives rise to the need for reengineering their underlying software syst...
Mohammad El-Ramly, Eleni Stroulia, Paul G. Sorenso...
VSTTE
2005
Springer
14 years 4 months ago
It Is Time to Mechanize Programming Language Metatheory
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
Benjamin C. Pierce, Peter Sewell, Stephanie Weiric...
ECIS
2004
14 years 1 days ago
Selling Packaged Software: An Ethical Analysis
Within the IS literature there is little discussion on selling software products in general and especially from the ethical point of view. Similarly, within computer ethics, altho...
Alison Adam, Ben Light
QNS
1996
13 years 12 months ago
Improving the quality of software quality determination processes
This paper suggests a systematic, orderly, process-based approach to stating software quality objectives and knowing if and when they have been achieved. We suggest that quality i...
Leon J. Osterweil