1902 search results - page 195 / 381 » Differential Dynamic Logics |
201
click to vote
TON
2010
15 years 1 months ago
2010
We study the contention/interaction among wireless nodes and med -ium access control design in game theory framework. We define a general class of games, called random access game...
188
click to vote
IADIS
2003
15 years 8 months ago
2003
Conceptual Modelling approaches for the web need extensions to specify dynamic personalization properties in order to design more powerful web applications. Current approaches pro...
173
click to vote
FOSSACS
2007
Springer
16 years 24 days ago
2007
Springer
We study the complexity of satisfiability for the expressive extension ICPDL of PDL (Propositional Dynamic Logic), which admits intersection and converse as program operations. Ou...
170
click to vote
RR
2007
Springer
16 years 23 days ago
2007
Springer
Modern semantic technology is one of the necessary supports for the infrastructure of next generation information systems. In particular, large international organizations, which u...
160
click to vote
ISCAS
2005
IEEE
16 years 7 days ago
2005
IEEE
: Asynchronous circuits are often presented as a means of achieving low power operation. We investigate their suitability for low-energy applications, where long battery life and d...