4255 search results - page 241 / 851 » Cover |
175
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
We show how to view certain subclasses of (single-pushout) graph transformation systems as well-structured transition systems, which leads to decidability of the covering problem v...
185
click to vote
CIE
2008
Springer
15 years 8 months ago
2008
Springer
We study perfectly locally computable structures, which are (possibly uncountable) structures S that have highly effective presentations of their local properties. We show that eve...
174
click to vote
ER
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The alignment of different ontologies requires the specification, representation and execution of translation rules. The rules need to integrate translations at the lexic...
179
click to vote
ER
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this paper we discuss about composing services from standard suites of applications for personal data management in mobile devices. We propose a data model and an inte...
172
click to vote
ESTIMEDIA
2008
Springer
15 years 8 months ago
2008
Springer
We propose a method to automatically transform synchronous data flow diagrams into synchronous block diagrams. The idea is to use triggers, a mechanism that allows a block to be f...