3358 search results - page 143 / 672 » Dynamic Description Logics |
136
click to vote
ISCAS
2006
IEEE
16 years 1 months ago
2006
IEEE
— The paper explains the basic ideas of how to model the dynamical properties of switched DC-DC converters by means of the so-called generalized transfer functions (GTFs). Switch...
220
click to vote
IAT
2009
IEEE
15 years 5 months ago
2009
IEEE
We study an update operator for Coalition Logic to talk about the way players' strategic ability changes because of the moves of their opponents. We show its connection with D...
199
click to vote
RIVF
2008
15 years 8 months ago
2008
We introduce a new overlay network named ROSA1 . Overlay networks offer a way to bypass the routing constraints of the underlying network. ROSA used this overlay network property t...
173
click to vote
EUMAS
2006
15 years 8 months ago
2006
The ever-growing number of services on the WWW provides enormous business opportunities. Services can be automatically discovered and invoked, or even be dynamically composed from ...
238
click to vote
FROCOS
2009
Springer
16 years 1 months ago
2009
Springer
When trying to apply recently developed approaches for updating Description Logic ABoxes in the context of an action programming language, one encounters two problems. First, upda...