1347 search results - page 202 / 270 » A Web-based requirements analysis tool |
ASAP
2003
IEEE
14 years 2 months ago
2003
IEEE
At the Leiden Embedded Research Center, we are developing a compiler called Compaan that automatically translates signal processing applications written in Matlab into Kahn Proces...
ICCAD
1999
IEEE
14 years 1 months ago
1999
IEEE
In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...
AIME
1997
Springer
14 years 29 days ago
1997
Springer
: Clinical guidelines reuse existing clinical procedural knowledge while leaving room for flexibility by the care provider applying that knowledge. Guidelines can be viewed as gene...
AMOST
2007
ACM
14 years 24 days ago
2007
ACM
We have devised a novel technique to automatically generate test cases for a software system, combining black-box model-based testing with white-box parameterized unit testing. Th...
AXMEDIS
2006
IEEE
14 years 16 days ago
2006
IEEE
Traditional media, such as text, image, audio and video, have long been the main media resources and granted full support of standard desktop tools and applications. Interactive r...