15885 search results - page 2922 / 3177 » The Modest Software Engineer |
135
Voted
ISORC
2006
IEEE
15 years 8 months ago
2006
IEEE
Many real-time applications, such as traffic control systems, surveillance systems and health monitoring systems, need to operate on continuous unbounded streams of data. These ap...
127
Voted
ISSRE
2006
IEEE
15 years 8 months ago
2006
IEEE
BPEL is a language that could express complex concurrent behaviors. This paper presents a novel method of BPEL test case generation, which is based on concurrent path analysis. Th...
128
Voted
ISSRE
2006
IEEE
15 years 8 months ago
2006
IEEE
Test suite reduction uses test requirement coverage to determine if the reduced test suite maintains the original suite’s requirement coverage. Based on observations from our pr...
130
Voted
ISSRE
2006
IEEE
15 years 8 months ago
2006
IEEE
A Java monitor is a Java class that defines one or more synchronized methods. Unlike a regular object, a Java monitor object is intended to be accessed by multiple threads simulta...
SEW
2006
IEEE
15 years 8 months ago
2006
IEEE
The Mondex Electronic Purse is an outstanding example of industrial scale formal refinement, and was the first verification to achieve ITSEC level E6 certification. A formal a...