3281 search results - page 447 / 657 » An Approach to use Executable Models for Testing |
214
Voted
IEEESCC
2010
IEEE
15 years 4 months ago
2010
IEEE
Service-orientation and object-oriented design are common practice in the field of business application development. Business process execution languages help to facilitate the orc...
165
click to vote
CASES
2009
ACM
16 years 20 days ago
2009
ACM
Accurate estimation of the tick length of a synchronous program is essential for efficient and predictable implementations that are devoid of timing faults. The techniques to dete...
187
click to vote
AH
2008
Springer
16 years 15 days ago
2008
Springer
The focus of my thesis is on the development of a multi-method framework for the validation of formal models (domain model, user model, and teaching model) for adaptive work-integr...
171
Voted
ICCD
2003
IEEE
16 years 3 months ago
2003
IEEE
There is a growing interest in the use of speculative multithreading to speed up the execution of a program. In speculative multithreading model, threads are extracted from a sequ...
166
click to vote
ICIAR
2007
Springer
16 years 9 days ago
2007
Springer
This paper describes a general framework for the detection and tracking of traffic and road signs from image sequences using only color information. The approach consists of two in...