8154 search results - page 288 / 1631 » Understanding changes in use cases: A case study |
200
Voted
BMCBI
2006
15 years 6 months ago
2006
Background: Comfrey is consumed by humans as a vegetable and a tea, and has been used as an herbal medicine for more than 2000 years. Comfrey, however, is hepatotoxic in livestock...
153
click to vote
ICRA
2005
IEEE
16 years 7 days ago
2005
IEEE
Abstract— In this paper, we consider the task of repositioning a formation of robots to a new shape while minimizing either the maximum distance that any robot travels, or the to...
196
click to vote
CMSB
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
152
click to vote
SLE
2009
Springer
16 years 1 months ago
2009
Springer
In consequence of changing requirements and technological progress, software languages are subject to change. The changes affect the language’s specification, which in turn a...
162
click to vote
DOCENG
2004
ACM
16 years 2 days ago
2004
ACM
Three-way merging is a technique that may be employed for reintegrating changes to a document in cases where multiple independently modified copies have been made. While tools fo...