10274 search results - page 1861 / 2055 » Lean Software Development |
SIGMOD
2011
ACM
13 years 1 months ago
2011
ACM
Automatically generating sufficient database states is imperative to reduce human efforts in testing database applications. Complementing the traditional block or branch coverage...
ICCV
2011
IEEE
12 years 10 months ago
2011
IEEE
We study the 3D reconstruction of plant roots from multiple 2D images. To meet the challenge caused by the delicate nature of thin branches, we make three innovations to cope with...
CBMS
2011
IEEE
12 years 10 months ago
2011
IEEE
Medical image simulation produces virtual images from software representations of imaging devices and virtual object models representing the human body. Object models consist of t...
CCS
2011
ACM
12 years 10 months ago
2011
ACM
We develop a flexible information-flow type system for a range of encryption primitives, precisely reflecting their diverse functional and security features. Our rules enable e...
DCOSS
2011
Springer
12 years 10 months ago
2011
Springer
—Wireless sensor networks are increasingly being used to improve business processes. The behavior of such a process is usually captured in models while its implementation is typi...