4209 search results - page 525 / 842 » Abstract Dialectical Frameworks |
154
click to vote
OWLED
2008
15 years 6 months ago
2008
Abstract. In this paper, we show how the web ontology language OWL can be accommodated within the larger framework of the heterogeneous common algebraic specification language HETC...
141
click to vote
PTS
2008
15 years 6 months ago
2008
We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from t...
130
click to vote
NETWORKING
2007
15 years 6 months ago
2007
Abstract. Our Token Based Switch (TBS) implementation shows that a packetbased admission control system can be used to dynamically select a fast end-to-end connection over a hybrid...
116
click to vote
SE
2007
15 years 6 months ago
2007
: A growing demand for distributed and decentralized software, together with an increasing inherent complexity of these systems challenges traditional software engineering practice...
155
click to vote
VMV
2008
15 years 6 months ago
2008
Architectural blueprints offer a concise, clear and high-level description of the structure of a building. On the other hand, state of the art reconstruction pipelines can nowaday...