20126 search results - page 3922 / 4026 » Timed Transition Systems |
KBSE
2003
IEEE
15 years 3 months ago
2003
IEEE
Test designers widely believe that the overall effectiveness and cost of software testing depends largely on the type and number of test cases executed on the software. In this pa...
P2P
2003
IEEE
15 years 3 months ago
2003
IEEE
Sensor networks, that consist of potentially several thousands of nodes each with sensing (heat, sound, light, magnetism, etc.) and wireless communication capabilities, provide gr...
AOSD
2003
ACM
15 years 3 months ago
2003
ACM
An effective requirements engineering (RE) approach must harmonise the need to achieve separation of concerns with the need to satisfy broadly scoped requirements and constraints....
COMPGEOM
2003
ACM
15 years 3 months ago
2003
ACM
We propose a novel type of decomposition for polygonal shapes. It is thought that, for the task of object recognition, the human visual system uses a part-based representation. De...
146
click to vote
DAC
2003
ACM
15 years 3 months ago
2003
ACM
Instruction set simulators are critical tools for the exploration and validation of new programmable architectures. Due to increasing complexity of the architectures and timeto-ma...