1326 search results - page 71 / 266 » Semantic Coherence in Software Engineering |
HPDC
2008
IEEE
14 years 2 months ago
2008
IEEE
If the model of free-form queries, which has proved successful for HTML based search on the Web, is made available for Grid services, it will serve as a powerful tool for scientis...
RE
2006
Springer
13 years 7 months ago
2006
Springer
Domain knowledge is one of crucial factors to get a great success in requirements elicitation of high quality, and only domain experts, not requirements analysts, have it. We prop...
FOSSACS
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. We present the first complete soundness proof of the antiframe rule, a recently proposed proof rule for capturing information hiding in the presence of higher-order stor...
ICAC
2009
IEEE
13 years 11 months ago
2009
IEEE
In large-scale, distributed software systems, an important management undertaking concerns the creation and runtime modification of application instances. This short paper propose...
WWW
2007
ACM
14 years 8 months ago
2007
ACM
Available methodologies for developing Sematic Web applications do not fully exploit the whole potential deriving from interaction with ontological data sources. Here we introduce...