5433 search results - page 481 / 1087 » Tool Support for Traceability-Adaptation |
155
click to vote
DAMON
2007
Springer
16 years 1 months ago
2007
Springer
As XQuery rapidly emerges as the standard for querying XML documents, it is very important to understand the architectural characteristics and behaviors of such workloads. A lot o...
170
click to vote
MODELS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Since the seminal book by the Gang of Four, design patterns have proven an important tool in software development. Over time, more and more patterns have been discovered ...
184
click to vote
STORYTELLING
2007
Springer
16 years 1 months ago
2007
Springer
We present Wide Ruled, an authoring tool for the creation of generative stories. It is based on the Universe author-goal-based model of story generation, and extends this model by ...
151
click to vote
DATE
2006
IEEE
16 years 28 days ago
2006
IEEE
Practitioners of formal property verification often work around the capacity limitations of formal verification tools by breaking down properties into smaller properties that ca...
166
click to vote
DATE
2006
IEEE
16 years 28 days ago
2006
IEEE
This paper addresses an XML-based design environment, which provides a powerful basis for the manipulation of hardware design descriptions. The contribution of the paper is a flex...