1435 search results - page 174 / 287 » E-connections of Description Logics |
126
click to vote
TPHOL
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract. We present a comprehensive set of tactics that make it practical to use separation logic in a proof assistant. These tactics enable the verification of partial correctne...
131
click to vote
DEXAW
2007
IEEE
15 years 5 months ago
2007
IEEE
The vision of the Semantic Web is to make Web content machine-readable. To describe data, the Resource Description Framework has been extended with a schema-level and description ...
109
click to vote
FSEN
2009
Springer
15 years 5 months ago
2009
Springer
We propose and explore a formal approach for black-box testing asynchronously communicating components in open environments. Asynchronicity poses a challenge for validating and tes...
130
click to vote
ATAL
1995
Springer
15 years 5 months ago
1995
Springer
The agent view provides maybe the right level of abstraction for dealing with complex, distribblem-solving systems. It abstracts from aspects like the hardware or software platfor...
115
click to vote
ICWS
2008
IEEE
15 years 2 months ago
2008
IEEE
In this work, we present a framework for the semantic composition of web services based on Statecharts and uniform community service descriptions. Our model is a two step process....