1940 search results - page 173 / 388 » The Dynamic Logic of Permission |
260
click to vote
VEE
2012
ACM
14 years 2 months ago
2012
ACM
With the shift to many-core chip multiprocessors (CMPs), a critical issue is how to effectively coordinate and manage the execution of applications and hardware resources to overc...
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 23 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...
168
click to vote
RR
2007
Springer
16 years 22 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...
159
click to vote
ISCAS
2005
IEEE
16 years 6 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...