Sciweavers

54 search results - page 2 / 11
» re 1997
Sort
View
INFOCOM
1997
IEEE
13 years 9 months ago
Re-Routing in Circuit Switched Networks
Abstract—Dynamic routing has been adopted in circuit-switched networks in many parts of the world. Most of the routing algorithms used are least loaded routing (LLR) based for it...
Eric W. M. Wong, Andy K. M. Chan, Tak-Shing Peter ...
HASE
1997
IEEE
13 years 9 months ago
ReSoFT: A Reusable Testbed for Development and Evaluation of Software Fault-Tolerant Systems
The Reusable Software Fault Tolerance Testbed ReSoFT was developed to facilitate the development and evaluation of high-assurance systems that require tolerance of both hardware...
Kam S. Tso, Eltefaat Shokri, Roger J. Dziegiel Jr.
ALC
1997
13 years 6 months ago
Predicative semantics of loops
A predicative semantics is a mapping of programs to predicates. These predicates characterize sets of acceptable observations. The presence of time in the observations makes the o...
Theodore S. Norvell
WEBNET
1997
13 years 6 months ago
MiMi: A Java Implementation of the MicroMint Scheme
In this paper we describe an experimental implementation of the MicroMint micropayment scheme in Java. We apply this scheme to purchasing Web pages. A prerequisite was to accompli...
Vesna Hassler, Robert Bihlmeyer, Michael Fischer, ...
RE
1997
Springer
13 years 9 months ago
Extended Requirements Traceability: Results of an Industrial Case Study
Contribution structures offer a way to model the network of people who have participated in the requirements engineering process. They further provide the opportunity to extend co...
Orlena Gotel, Anthony Finkelstein