7075 search results - page 1078 / 1415 » Models and heterogeneous reasoning |
170
click to vote
ECEASST
2008
15 years 7 months ago
2008
Abstract: In several rule-based applications using graph transformation as underlying modeling technique the following questions arise: How can one be sure that a specific sequence...
173
click to vote
IANDC
2008
15 years 7 months ago
2008
The main goal of this paper is to apply rewriting termination technology --enjoying a quite mature set of termination results and tools-- to the problem of proving automatically t...
174
Voted
CONNECTION
2006
15 years 7 months ago
2006
By learning a range of possible times over which the effect of an action can take place, a robot can reason more effectively about causal and contingent relationships in the world...
190
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
The design of complex Systems-on-Chips implies to take into account communication and memory access constraints for the integration of dedicated hardware accelerator. In this paper...
145
click to vote
CSJM
2006
15 years 6 months ago
2006
The popularity of distributed file systems continues to grow in last years. The reasons they are preferred over traditional centralized systems include fault tolerance, availabili...