10241 search results - page 1521 / 2049 » Goal-Driven Software Development |
167
click to vote
CIKM
2007
Springer
16 years 12 days ago
2007
Springer
Ontology evaluation is a maturing discipline with methodologies and measures being developed and proposed. However, evaluation methods that have been proposed have not been applie...
172
click to vote
ECTEL
2007
Springer
16 years 12 days ago
2007
Springer
Web2.0 is a conceptual framework that aims at enhancing the World Wide Web with semantic and social functionnalities. For this framework to fully develop, there is a need for concr...
158
click to vote
FMCO
2007
Springer
16 years 12 days ago
2007
Springer
As Internet applications become larger and more complex, the task of managing them becomes overwhelming. “Abnormal” events such as software updates, failures, attacks, and hots...
158
click to vote
FOSSACS
2007
Springer
16 years 12 days ago
2007
Springer
The last few years have seen the development of the rewriting calculus (also called rho-calculus or ρ-calculus) that uniformly integrates first-order term rewriting and λ-calcul...
145
click to vote
FSEN
2007
Springer
16 years 12 days ago
2007
Springer
Abstract. Groote, Pang and Wouters (2001) analyzed an existing distributed lift system using the process algebraic toolset µCRL. Pang, Karstens and Fokkink (2003) analyzed a redes...