3281 search results - page 312 / 657 » An Approach to use Executable Models for Testing |
187
click to vote
IFIP
2010
Springer
14 years 11 months ago
2010
Springer
Concurrent software is difficult to verify. Because the thread schedule is not controlled by the application, testing may miss defects that occur under specific thread schedules. T...
128
click to vote
DKE
2008
15 years 4 months ago
2008
In various application domains there is a desire to compare process models, e.g., to relate an organization-specific process model to a reference model, to find a web service matc...
131
click to vote
HICSS
2006
IEEE
15 years 10 months ago
2006
IEEE
The classical (ad hoc) document retrieval problem has been traditionally approached through ranking according to heuristically developed functions (such as tf.idf or bm25) or gene...
153
click to vote
IEEEARES
2006
IEEE
15 years 10 months ago
2006
IEEE
The raising need for e-government applications leads to many new approaches in this sector. To fulfill the requirement for a flexible government-to-government (G2G) software sys...
127
click to vote
MEMOCODE
2006
IEEE
15 years 10 months ago
2006
IEEE
Data flow models are used for specifying and analysing signal processing and streaming applications. However, traditional data flow models are either not capable of expressing t...