Sciweavers

5101 search results - page 622 / 1021
» Capturing Context Requirements
Sort
View
MICCAI
2001
Springer
15 years 11 months ago
A Binary Entropy Measure to Assess Nonrigid Registration Algorithms
Assessment of normal and abnormal anatomical variability requires a coordinate system enabling inter-subject comparison. We present a binary minimum entropy criterion to assess afï...
Simon K. Warfield, Jan Rexilius, Petra S. Huppi, T...
TACS
2001
Springer
15 years 11 months ago
The UDP Calculus: Rigorous Semantics for Real Networking
Network programming is notoriously hard to understand: one has to deal with a variety of protocols (IP, ICMP, UDP, TCP etc), concurrency, packet loss, host failure, timeouts, the c...
Andrei Serjantov, Peter Sewell, Keith Wansbrough
UML
2001
Springer
15 years 11 months ago
Estimating Software Development Effort Based on Use Cases-Experiences from Industry
Use case models are used in object-oriented analysis for capturing and describing the functional requirements of a system. Several methods for estimating software development effor...
Bente Anda, Hege Dreiem, Dag I. K. Sjøberg,...
INFOCOM
2000
IEEE
15 years 11 months ago
Energy Efficient Battery Management
Abstract—A challenging aspect of mobile communications consists in exploring ways in which the available run time of terminals can be maximized. In this paper, we present a detai...
Carla-Fabiana Chiasserini, Ramesh R. Rao
ISORC
2000
IEEE
15 years 11 months ago
Hybrid Sequence Charts
We introduce Hybrid Sequence Charts (HySCs) as a visual description technique for communication in hybrid system models. To that end, we adapt a subset of the well-known MSC synta...
Radu Grosu, Ingolf Krüger, Thomas Stauner