4966 search results - page 136 / 994 » its 2010 |
174
click to vote
ENTCS
2006
15 years 6 months ago
2006
An unresolved issue in SWRL (the Semantic Web Rule Language) is whether the intended semantics of its RDF representation can be described as an extension of the W3C RDF semantics....
144
click to vote
ENTCS
2006
15 years 6 months ago
2006
In this paper we describe an algorithm for distributed, BDD-based bounded property checking and its implementation in the verification tool SymC. The distributed algorithm verifie...
147
click to vote
ENTCS
2006
15 years 6 months ago
2006
We are using ML to build a compiler that does low-level optimization. To support optimizations in classic imperative style, we built a control-flow graph using mutable pointers an...
120
click to vote
ENTCS
2006
15 years 6 months ago
2006
We define and use a SOS-based framework to specify the transition systems of calculi with name-passing properties. This setting uses proof-theoretic tools to take care of some of ...
152
click to vote
ENTCS
2006
15 years 6 months ago
2006
Being able to systematically change the original architecture of a component-based system to a desired target architecture without changing the set of functional requirements of t...