726 search results - page 81 / 146 » Formal Requirements Engineering: Learning from the Students |
103
click to vote
COLT
2000
Springer
15 years 4 months ago
2000
Springer
We investigate the computational complexity of the task of detecting dense regions of an unknown distribution from un-labeled samples of this distribution. We introduce a formal l...
105
click to vote
WSC
2000
15 years 1 months ago
2000
Simulation is used in the design process of dynamic systems. The results of simulation are employed for validating a model, and they are helpful for the improvement of the design ...
SIGSOFT
2000
ACM
15 years 4 months ago
2000
ACM
It is essential to manage versions of software products created during software development. There are various versioning tools actually used in these days, although most of them ...
104
click to vote
WWW
2004
ACM
16 years 16 days ago
2004
ACM
Complex Semantic Web (SW) services may have intricate data state, autonomous process behavior and concurrent interactions. The design of such SW service systems requires precise a...
113
click to vote
WEBI
2010
Springer
14 years 9 months ago
2010
Springer
While much research has been performed on query logs collected for major Web search engines, query log analysis to enhance search on smaller and more focused collections has attrac...