3742 search results - page 597 / 749 » On the Use of Formal Techniques for Validation |
171
click to vote
APVIS
2001
15 years 7 months ago
2001
Information visualisation exploits the natural perceptual capabilities of the decisionfacilitate the rapid assimilation and analysis of abstract, complex and often voluminous info...
196
click to vote
CMG
2003
15 years 7 months ago
2003
The queueing Petri net (QPN) paradigm provides a number of benefits over conventional modeling paradigms such as queueing networks and generalized stochastic Petri nets. Using qu...
158
click to vote
WIIW
2001
15 years 7 months ago
2001
- Abstract Modeling web site personalization strategies. Personalization is a key factor for differentiating services and retaining customers in World Wide Web sites. On the other ...
209
click to vote
ISPE
2003
15 years 7 months ago
2003
ABSTRACT: Knowledge systems for scientific and engineering endeavors must be able to insure the accuracy, completeness, and validity of their contents. When designed as such, these...
178
click to vote
WORM
2003
15 years 7 months ago
2003
We present a general framework for reasoning about network worms and analyzing the potency of worms within a specific network. First, we present a discussion of the life cycle of ...