4163 search results - page 403 / 833 » A comprehensive combination framework |
183
click to vote
OOPSLA
2005
Springer
16 years 8 days ago
2005
Springer
A number of effective error detection tools have been built in recent years to check if a program conforms to certain design rules. An important class of design rules deals with s...
189
click to vote
UML
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. This paper reports about the workshop Model Driven Development of Advanced User Interfaces (MDDAUI) which was held on October 2nd, 2005 at the MoDELS/UML 2005 conference ...
215
click to vote
UML
2005
Springer
16 years 8 days ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
187
click to vote
INFOCOM
2003
IEEE
16 years 2 days ago
2003
IEEE
— There is a growing interest among service providers to offer new services with Quality of Service (QoS) guaranties that are also resilient to failures. Supporting QoS connectio...
204
click to vote
MTDT
2003
IEEE
16 years 1 days ago
2003
IEEE
ct Defect-based testing for digital logic concentrates primarily on methods of test application, including for example at-speed structural tests and IDDQ testing. In contrast, defe...