1087 search results - page 137 / 218 » The DecideIT Decision Tool |
INFORMATICALT
2006
13 years 10 months ago
2006
The quality of software engineering projects often suffers due to the large gap between the way stakeholders present their requirements and the way analysts capture and express tho...
INTERNET
2006
13 years 10 months ago
2006
: The huge growth of e-commerce has had a profound impact on users who can now choose from an ever increasing number of options online. Inevitably, as the number of choices has inc...
MP
2006
13 years 10 months ago
2006
Abstract. Interval analysis is a powerful tool which allows to design branch-and-bound algorithms able to solve many global optimization problems. In this paper we present new adap...
PSYCHNOLOGY
2006
13 years 10 months ago
2006
The transformation from film-based to filmless operations has become more and more challenging as medical imaging studies expand in size and complexity. To adapt to these changes ...
ENTCS
2002
13 years 10 months ago
2002
We report on the automatic verification of timed probabilistic properties of the IEEE 1394 root contention protocol combining two existing tools: the real-time modelchecker Kronos...