18769 search results - page 3529 / 3754 » Requirements Models in Context |
165
click to vote
ATAL
2005
Springer
16 years 5 days ago
2005
Springer
This paper reports experiences and outcomes of designing and developing an agent–based, autonomous mission control system for an unmanned aerial vehicle (UAV). Most UAVs are not...
201
click to vote
ATAL
2005
Springer
16 years 5 days ago
2005
Springer
Inspired by computational linguistic approaches to annotate the structures that occur in human dialogue, this paper describes a technique which encodes these structures as transfo...
200
click to vote
CCS
2005
ACM
16 years 5 days ago
2005
ACM
Existing reputation systems used by online auction houses do not address the concern of a buyer shopping for commodities—finding a good bargain. These systems do not provide in...
164
click to vote
CHARME
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We define and study a quantitative generalization of the traditional boolean framework of model-based specification and verification. In our setting, propositions have...
165
click to vote
CIKM
2005
Springer
16 years 5 days ago
2005
Springer
Document-centric XML is a mixture of text and structure. With the increased availability of document-centric XML content comes a need for query facilities in which both structural...