5101 search results - page 630 / 1021 » Capturing Context Requirements |
217
click to vote
FORMATS
2006
Springer
15 years 11 months ago
2006
Springer
In this paper, we consider a novel approach to the temporal logic verification problem of continuous dynamical systems. Our methodology has the distinctive feature that enables the...
167
click to vote
DLOG
2008
15 years 9 months ago
2008
A fundamental requirement for cooperating agents is to agree on a selection of component values of objects that can be used for reliably communicating references to the objects, to...
221
click to vote
USS
2008
15 years 9 months ago
2008
Provenance describes how an object came to be in its present state. Intelligence dossiers, medical records and corporate financial reports capture provenance information. Many of ...
187
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
Researchers demand much from their embodied conversational agents (ECAs), requiring them to be both life-like, as well as responsive to events in an interactive setting. We find t...
199
click to vote
CAISE
2008
Springer
15 years 9 months ago
2008
Springer
Quality aspects become increasingly important when business process modeling is used in a large-scale enterprise setting. In order to facilitate a storage without redundancy and an...