2557 search results - page 348 / 512 » Goal-Based Modeling of Dynamically Adaptive System Requireme... |
TPDS
2002
13 years 7 months ago
2002
The problem of question/answering (Q/A) is to find answers to open-domain questions by searching large collections of documents. Unlike information retrieval systems, very common ...
DANCE
2002
IEEE
14 years 1 months ago
2002
IEEE
Current networks require ad-hoc operating procedures by expert administrators to handle changes. These configuration management operations are costly and error prone. Active netwo...
ICSE
2008
IEEE-ACM
14 years 9 months ago
2008
IEEE-ACM
Timed Interval Calculus (TIC) is a highly expressive set-based notation for specifying and reasoning about embedded real-time systems. However, it lacks mechanical proving support...
EMSOFT
2007
Springer
14 years 2 months ago
2007
Springer
Software components are modular and can enable post-deployment update, but their high overhead in runtime and memory is prohibitive for many embedded systems. This paper proposes ...
DAGSTUHL
2007
13 years 9 months ago
2007
iary models in order to bridge the semantic gap between high-level, abstract user requirements and low-level, concrete programs and to support a stepwise refinement process. This d...