4617 search results - page 371 / 924 » Automation of Diagrammatic Reasoning |
135
click to vote
CSL
2007
Springer
15 years 10 months ago
2007
Springer
We compare the expressive power of a class of well-structured transition systems that includes relational automata, Petri nets, lossy channel systems, and constrained multiset rewr...
167
click to vote
ICLP
2010
Springer
15 years 10 months ago
2010
Springer
Interactive Scores is a formalism for the design and performance of interactive scenarios that provides temporal relations (TRs) among the objects of the scenario. We can model TRs...
157
click to vote
ICLP
2007
Springer
15 years 10 months ago
2007
Springer
We describe the combination of OWL and F-Logic for the architecture of Semantic Web application nodes. The approach has been implemented by combining an existing Jena-based archite...
176
click to vote
GIS
2009
ACM
15 years 10 months ago
2009
ACM
The essential elements of any navigation system are a shortest-path algorithm and accurate map data. The contribution of this work is two-fold. First, the HBA algorithm, an effici...
180
click to vote
CSL
2004
Springer
15 years 10 months ago
2004
Springer
Using separation logic, this paper presents three Hoare logics (corresponding to different notions of correctness) for the simple While language extended with commands for heap acc...