6413 search results - page 741 / 1283 » Classes of cycle bases |
234
click to vote
ICSM
2002
IEEE
16 years 5 days ago
2002
IEEE
When a software system enters the maintenance phase, the availability of accurate and consistent information about its organization can help alleviate the difficulties of program...
220
click to vote
ISORC
2002
IEEE
16 years 5 days ago
2002
IEEE
The demand for real-time database services has been increasing recently. Examples include sensor data fusion, stock trading, decision support, web information services, and data-i...
198
click to vote
ISSRE
2002
IEEE
16 years 5 days ago
2002
IEEE
Fault insertion based techniqueshave been used for measuring test adequacy and testability of programs. Mutation analysis inserts faults into a program with the goal of creating m...
193
click to vote
MSE
2002
IEEE
16 years 5 days ago
2002
IEEE
This paper describes the user interface framework of the VizIR project ([4]). VizIR is an open project to develop a Java-based, extendible and well-documented asset framework for ...
208
click to vote
APN
2010
Springer
16 years 1 days ago
2010
Springer
The unfolding technique is an efficient tool to explore the runs of a Petri net in a true concurrency semantics, i.e. without constructing all the interleavings of concurrent actio...