181 search results - page 21 / 37 » Testing Java Components based on Algebraic Specifications |
102
click to vote
MSS
2000
IEEE
15 years 4 months ago
2000
IEEE
The Jiro™ technology provides an environment intended for the implementation of storage management solutions. A product based on Jiro technology is an implementation based on th...
ENTCS
2006
14 years 11 months ago
2006
This paper presents VyrdMC, a runtime verification tool we are building for concurrent software components. The correctness criterion checked by VyrdMC is refinement: Each executi...
HICSS
2000
IEEE
15 years 3 months ago
2000
IEEE
Flexible user interfaces that can be customized to meet the needs of the task at hand are particularly important for real-time group collaboration. This paper presents the user in...
109
click to vote
PE
2010
Springer
14 years 6 months ago
2010
Springer
Performance prediction and measurement approaches for component-based software systems help software architects to evaluate their systems based on component performance specificat...
101
click to vote
VIS
2007
IEEE
16 years 29 days ago
2007
IEEE
Abstract-- This paper describes a novel method for creating surface models of multi-material components using dual energy computed tomography (DECT). The application scenario is me...