4270 search results - page 325 / 854 » A Permutation Approach to Validation |
185
click to vote
INFOCOM
2000
IEEE
15 years 11 months ago
2000
IEEE
—An analytical framework for modeling the performance of a single TCP session in the presence of random packet loss is presented. A Markovian approach is developed that allows us...
184
click to vote
KBSE
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes a new approach to visualization of scenarios within the use case-based engineering of functional requirements – the so-called Video Camera metaphor. The Vid...
205
click to vote
RTCSA
1999
IEEE
15 years 11 months ago
1999
IEEE
Although an optimistic approach has been shown to be better than locking protocols for real-time database systems (RTDBS), it has the problems of unnecessary restarts and heavy re...
202
click to vote
RE
1999
Springer
15 years 11 months ago
1999
Springer
This paper describes a feasibility study into the use of a formal requirements modeling method (SCR) to assist with Independent Verification and Validation of change requests for ...
166
click to vote
CAMAD
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract-- In this paper we discuss the exploitation of aggregated mobility patterns and physical proximity of nodes in a so-called ambient network, i.e., a wireless network with h...