396 search results - page 58 / 80 » Using Refinement Checking as System Testing |
131
click to vote
SAC
2005
ACM
15 years 7 months ago
2005
ACM
The launch of new features for mobile phones is increasing and the product life cycle symmetrically decreasing in duration as higher levels of sophistication are reached. Therefor...
127
click to vote
CORR
2007
Springer
15 years 2 months ago
2007
Springer
This paper deals with a common verification methodology and environment for SystemC BCA and RTL models. The aim is to save effort by avoiding the same work done twice by different...
104
Voted
ACL
2010
14 years 11 months ago
2010
Lexicalized reordering models play a crucial role in phrase-based translation systems. They are usually learned from the word-aligned bilingual corpus by examining the reordering ...
117
Voted
ICALT
2003
IEEE
15 years 7 months ago
2003
IEEE
In the context of Intelligent Learning Environments (ILE), adaptivity plays a key role. In order to achieve adaptive behavior an ILE should have a rich representation of the learn...
212
Voted
POPL
2008
ACM
16 years 2 months ago
2008
ACM
Contracts are behavioural descriptions of Web services. We devise a theory of contracts that formalises the compatibility of a client to a service, and the safe replacement of a s...