22560 search results - page 4114 / 4512 » Development of Transportation Systems |
200
click to vote
RE
2006
Springer
15 years 6 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...
161
click to vote
RE
2006
Springer
15 years 6 months ago
2006
Springer
Literature tends to discuss software (and system) requirements quality control, which includes validation and verification, as a heterogeneous process using a great variety of rel...
195
click to vote
SAC
2006
ACM
15 years 6 months ago
2006
ACM
Model transformations are frequently applied in business process modeling to bridge between languages on a different abstraction and formality. In this paper, we define a transfor...
181
click to vote
SIGKDD
2008
15 years 6 months ago
2008
Wide-area sensor infrastructures, remote sensors, RFIDs, and wireless sensor networks yield massive volumes of disparate, dynamic, and geographically distributed data. As such sen...
192
click to vote
AAECC
2005
Springer
15 years 6 months ago
2005
Springer
Abstract In [24], a new size-change principle was proposed to verify termination of functional programs automatically. We extend this principle in order to prove termination and in...