3943 search results - page 191 / 789 » Architecture-Level Requirements Specification |
157
click to vote
AAAI
2008
15 years 9 months ago
2008
Temporal logics are widely used in specifying goals of agents. We noticed that when directing agents, humans often revise their requirements for the agent, especially as they gath...
162
click to vote
LISA
2007
15 years 9 months ago
2007
Support for distributed application management in large-scale networked environments remains in its early stages. Although a number of solutions exist for subtasks of application ...
190
click to vote
EMSOFT
2008
Springer
15 years 8 months ago
2008
Springer
We present a framework for component-based design and scheduling of real-time embedded software. Each component has a clearly specified interface that includes the methods used fo...
159
click to vote
CADUI
2004
15 years 8 months ago
2004
: This paper presents a framework for the automatic production of Digital Talking Books (DTB). The production process converts existing audio tapes and OCR-based digitalization of ...
177
click to vote
DAGSTUHL
2004
15 years 8 months ago
2004
Testing often accounts for more than 50% of the required effort during system development. However, testing is often not well integrated with other development phases. One reason ...