3514 search results - page 507 / 703 » Evolving Specification Engineering |
162
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper describes a set of tools that allows a developer to instrument an autonomous control system to log data at run-time and then analyze that data to verify correct program...
129
click to vote
ARCS
2010
Springer
15 years 11 months ago
2010
Springer
Register renaming is a widely used technique to remove false data dependencies in contemporary superscalar microprocessors. The register rename logic includes a mapping table that ...
168
click to vote
ICIDS
2009
Springer
15 years 11 months ago
2009
Springer
Authoring is still considered a bottleneck in successful Interactive Storytelling and Drama. The claim for intuitive authoring tools is high, especially for tools that allow storyt...
152
click to vote
PCI
2009
Springer
15 years 11 months ago
2009
Springer
—Despite the wide adoption by the scientific community, grid technologies have not been given the appropriate attention by enterprises. This is merely due to the lack of enough s...
158
click to vote
PROFES
2009
Springer
15 years 11 months ago
2009
Springer
Business value is a key concept in agile software development approaches. This paper presents results of a systematic review of literature on how business value is created by agile...