3358 search results - page 536 / 672 » Dynamic Description Logics |
110
click to vote
ESWS
2007
Springer
15 years 4 months ago
2007
Springer
The semantic web vision will facilitate automation of many tasks, including the location and dynamic reconfiguration of web services. In this article, we are concerned with a speci...
109
Voted
CSMR
2004
IEEE
15 years 4 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...
111
Voted
DSOM
2006
Springer
15 years 4 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...
107
click to vote
ECAI
2006
Springer
15 years 4 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...
128
click to vote
FPL
2000
Springer
15 years 4 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...