Sciweavers

1508 search results - page 157 / 302
» Toward Software Plug-and-Play
Sort
View
130
Voted
SIGSOFT
2009
ACM
16 years 4 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
159
Voted
KDD
2002
ACM
112views Data Mining» more  KDD 2002»
16 years 4 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...
133
Voted
VSTTE
2005
Springer
15 years 9 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...
100
Voted
ECIS
2004
15 years 5 months 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
125
Voted
QNS
1996
15 years 5 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