1106 search results - page 46 / 222 » Software That Can Think and Do |
111
click to vote
SPIN
2010
Springer
15 years 10 days ago
2010
Springer
Abstract. Context-Bounded Analysis has emerged as a practical automatic formal analysis technique for fine-grained, shared-memory concurrent software. Two recent papers (in CAV 20...
111
click to vote
KBSE
2007
IEEE
15 years 8 months ago
2007
IEEE
Software developers often do not build software from scratch but reuse software libraries. In theory, the APIs of a library should be stable, but in practice they do change and th...
ICSE
2004
IEEE-ACM
16 years 2 months ago
2004
IEEE-ACM
Objective: Our objective is to describe how software engineering might benefit from an evidence-based approach and to identify the potential difficulties associated with the appro...
139
click to vote
AIME
2005
Springer
15 years 7 months ago
2005
Springer
Sketching is ubiquitous in medicine. Physicians commonly use sketches as part of their note taking in patient records and to help convey diagnoses and treatments to patients. Medic...
136
click to vote
VL
2000
IEEE
15 years 6 months ago
2000
IEEE
Concurrent programming is a complex task, even with modern languages such as Java who provide languagebased support for multithreading and synchronization. In addition to typical ...