10263 search results - page 48 / 2053 » From Use Cases to System Operation Specifications |
HICSS
2003
IEEE
14 years 2 months ago
2003
IEEE
The financial services industry is changing rapidly as a result of advances in information technology (IT), telecommunications and the Internet. Technological innovations and incr...
ACSD
1998
IEEE
14 years 1 months ago
1998
IEEE
State coding conflict detection is a fundamental part of synthesis of asynchronous concurrent systems from their specifications as Signal Transition Graphs (STGs), which are a spe...
BMVC
2002
13 years 11 months ago
2002
In this paper, we present a non-intrusive method for human motion estimation from a monocular video camera for the teleoperation of ROBONAUT (ROBOtic astroNAUT). ROBONAUT is an an...
SIGPLAN
2002
13 years 8 months ago
2002
Future Interval Logic (FIL) and its intuitive graphical representation, Graphical Interval Logic (GIL), can be used as the formal description language of model checking tools to v...
TFS
2008
13 years 8 months ago
2008
Abstract-- Our starting point is the multiplicative utility function which is extensively used in the theory of multicriteria decision making. Its associativity is shown and as its...