1346 search results - page 189 / 270 » Alternating-time dynamic logic |
152
click to vote
CSMR
2004
IEEE
15 years 9 months ago
2004
IEEE
Language integration is an important issue in the area of software maintenance and reengineering. We describe a novel solution in this area: automatically applied and composed spl...
164
click to vote
DSOM
2006
Springer
15 years 9 months ago
2006
Springer
When different wireless networks come in close proximity there is often a need for them to logically combine, or compose. We focus on a known research problem particularly in Ambie...
161
click to vote
ECAI
2006
Springer
15 years 9 months ago
2006
Springer
Minimal change is a fundamental principle for modeling system dynamics. In this paper, we study the issue of minimal change for Computational Tree Logic (CTL) model update. We firs...
183
click to vote
FPL
2000
Springer
15 years 9 months ago
2000
Springer
This paper discusses the design and implementation of finite state machines (FSM) with combinational circuits that are built primarily from RAM blocks. It suggests a novel state as...
145
click to vote
DEXA
1995
Springer
15 years 9 months ago
1995
Springer
- In order to accomplish independence on the logical data organization, a relational DBMS must be capable of interpreting query language sentences which reference attributes belong...