6258 search results - page 260 / 1252 » Applied Text Generation |
140
click to vote
RE
1999
Springer
15 years 8 months ago
1999
Springer
Requirements capture by scenarios and user interface prototyping have become popular techniques. Yet, the transition from scenarios to formal specifications is still ill-defined, ...
114
click to vote
ITC
1997
IEEE
15 years 8 months ago
1997
IEEE
As the sizes of general and special purpose processors increase rapidly, generating high quality manufacturing tests for them is becoming a serious problem in industry. This paper...
109
click to vote
ICCAD
1996
IEEE
15 years 8 months ago
1996
IEEE
We propose a new method for generating BDDs from hardware algorithm descriptions written in a programming language. Our system can deal with control structures, such as conditiona...
136
click to vote
ICCD
1996
IEEE
15 years 8 months ago
1996
IEEE
In general, automatic layout composition techniques based on pre-designed devices facilitate the production of small IC numbers by prefabricating their basic structures. They also...
147
click to vote
ECOWS
2008
Springer
15 years 6 months ago
2008
Springer
In order to specify the composition of Web services, WSBPEL was defined as an orchestrating language by an international standards consortium. In this paper, we propose a method t...