6704 search results - page 675 / 1341 » Testing Scenario-Based Models |
196
click to vote
DSRT
2003
IEEE
16 years 21 days ago
2003
IEEE
This paper describes a solution to extend the Managed Bandwidth Service (MBS), which is provided on a backbone network using MPLS VPNs, to non-MPLS domains and also evaluates it. ...
213
click to vote
ICCAD
2003
IEEE
16 years 21 days ago
2003
IEEE
Process variations have become a critical issue in performance verification of high-performance designs. We present a new, statistical timing analysis method that accounts for int...
196
click to vote
ICSE
2001
IEEE-ACM
15 years 12 months ago
2001
IEEE-ACM
The paper addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. The complex sequences of visual events and action...
192
click to vote
STOC
1998
ACM
15 years 11 months ago
1998
ACM
On Labor Day weekend, the highway patrol sets up spot-checks at random points on the freeways with the intention of deterring a large fraction of motorists from driving incorrectl...
220
click to vote
AIME
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Disease processes in patients are temporal in nature and involve uncertainty. It is necessary to gain insight into these processes when aiming at improving the diagnosis,...