4306 search results - page 160 / 862 » Timed Testing with TorX |
ACSD
2007
IEEE
14 years 4 months ago
2007
IEEE
In this paper we introduce executions of place/transition Petri nets with weighted inhibitor arcs (PTI-net) as enabled labeled stratified order structures (LSOs) and present a po...
ICSM
2005
IEEE
14 years 4 months ago
2005
IEEE
As size and complexity of software systems increase, preserving the design and specification of their implementation structure gains importance in order to maintain the evolvabil...
AIME
2005
Springer
14 years 3 months ago
2005
Springer
: The automatic application of computerized guidelines and protocols in intensive care is not simple, given the high volume of data which must be processed and the need to offer ad...
SIGDOC
2005
ACM
14 years 3 months ago
2005
ACM
Testing of usability could perhaps be more accurately described as testing of learnability. We know more about the problems of novice users than we know of the problems of experie...
VTS
1999
IEEE
14 years 2 months ago
1999
IEEE
This paper presents adaptive techniques for improving delay fault diagnosis. These techniques reduce the search space for direct probing which can save a lot of time during failur...