8627 search results - page 1667 / 1726 » Software Engineering Using RATionale |
150
Voted
JACM
2002
15 years 2 months ago
2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...
133
Voted
TOMACS
1998
15 years 2 months ago
1998
architectures at multiple levels of abstraction, encompassing both hardware and software. It has five modes of operation (Design, Model Validation, Build Simulation, Simulate Syste...
152
Voted
TSE
1998
15 years 2 months ago
1998
— Modern networks provide a QoS (quality of service) model to go beyond best-effort services, but current QoS models are oriented towards low-level network parameters (e.g., band...
142
Voted
TSE
1998
15 years 2 months ago
1998
—Scenarios are increasingly recognized as an effective means for eliciting, validating, and documenting software requirements. This paper concentrates on the use of scenarios for...
119
Voted
WWW
2002
ACM
15 years 2 months ago
2002
ACM
In this paper, we present two ways to improve the precision of HITS-based algorithms on Web documents. First, by analyzing the limitations of current HITS-based algorithms, we pro...