738 search results - page 90 / 148 » cases 2001 |
63
Voted
ICOIN
2001
Springer
15 years 2 months ago
2001
Springer
According to the progress of high-speed networks, many communication protocols are specified as concurrent systems. Such systems can be modeled as concurrent deterministic FSMs (D...
MLDM
2001
Springer
15 years 2 months ago
2001
Springer
Abstractions and Case-Based Reasoning for Medical Course Data: Two Prognostic Applications . . . . . . . . . . . . . . . . . 23 R. Schmidt and L. Gierl Are Case-Based Reasoning and...
MMMACNS
2001
Springer
15 years 2 months ago
2001
Springer
The main cryptographic primitives (Bit Commitment (BC) and Oblivious Transfer (OT) protocols) based on noisy channels have been considered in [1] for asymptotic case. Non-asymptoti...
RE
2001
Springer
15 years 2 months ago
2001
Springer
Elicitation of requirements for safety critical aeroengine control systems is dependent on the capture of core design intent and the systematic derivation of requirements addressi...
UML
2001
Springer
15 years 2 months ago
2001
Springer
System testing is concerned with testing an entire system based on its specifications. In the context of object-oriented, UML development, this means that system test requirements ...