6800 search results - page 503 / 1360 » Testing with Functions as Specifications |
187
click to vote
TBILLC
2005
Springer
16 years 1 months ago
2005
Springer
Structuring of information proceeds through the foregrounding of certain parts of the information. In general, foregrounding can be realized on various linguistic levels and it is...
164
click to vote
EDOC
2002
IEEE
16 years 18 days ago
2002
IEEE
This paper addresses the problem of transforming natural language descriptions of contracts into a form that is suitable for automating various contract management functions. We i...
215
click to vote
HICSS
2002
IEEE
16 years 18 days ago
2002
IEEE
A major trend in the current information society is personalization, which is considered a key business enabler for mobile services because the mobile device is a personal assista...
178
click to vote
CODES
1996
IEEE
15 years 11 months ago
1996
IEEE
This reported work applies a transformational synthesis approach to hardware/software codesign. In this approach, the process of algorithm design is coupled early on with hardware...
177
click to vote
GECCO
2006
Springer
15 years 11 months ago
2006
Springer
In this article, we describe the application of an enhanced genetic algorithm to the problem of hardware-software codesign. Starting from a source code written in a high-level lan...