3901 search results - page 381 / 781 » software 2008 |
205
click to vote
SE
2008
15 years 8 months ago
2008
: One of the main challenges in distributed software development is the elicitation and management of knowledge regarding system requirements. Due to spatial distribution of involv...
205
click to vote
CISIS
2008
IEEE
16 years 1 months ago
2008
IEEE
Liver segmentation from scans of the abdominal area is an important step in several diagnostic processes. CT scans of the abdominal area contain several organs in close proximity ...
188
click to vote
AMAST
2008
Springer
15 years 8 months ago
2008
Springer
The Hoare approach to program verification relies on the construction and discharge of verification conditions (VCs) but offers no support to trace, analyze, and understand the VCs...
141
click to vote
FSTTCS
2008
Springer
15 years 7 months ago
2008
Springer
Several recent works have studied subfamilies of deterministic context-free languages with good closure properties, for instance the families of input-driven or visibly pushdown la...
230
click to vote
CSSE
2008
IEEE
16 years 1 months ago
2008
IEEE
—At present, Web services are created and updated on the fly. It has already beyond the human ability to analysis them and generate the composition plan manually. It is a problem...