1153 search results - page 148 / 231 » Compositional Specification Calculus for Information Systems... |
144
Voted
RE
2006
Springer
15 years 3 months ago
2006
Springer
This paper introduces an information retrieval based approach for automating the detection and classification of non-functional requirements (NFRs). Early detection of NFRs is use...
112
Voted
ACL
2010
15 years 1 months ago
2010
To date, few attempts have been made to develop and validate methods for automatic evaluation of linguistic quality in text summarization. We present the first systematic assessme...
119
Voted
ETFA
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper presents an application for the automatic generation of Bond Graph models. The basis for this automated creation is a modified plant model in the XML-format according t...
151
Voted
SAC
1999
ACM
15 years 8 months ago
1999
ACM
To provide data consistency in the presence of failures and concurrency, database methods will continue to be important to the processing of shared information in a mobile computi...
136
click to vote
IJRR
2006
15 years 3 months ago
2006
We describe the design and experimental validation of a large heterogeneous mobile robot team built for the DARPA Software for Distributed Robotics (SDR) program. The core challen...