2858 search results - page 317 / 572 » Logics with Aggregate Operators |
171
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...
176
click to vote
EDOC
2006
IEEE
16 years 19 days ago
2006
IEEE
When building enterprise applications that need to be accessed through a variety of client devices, developers usually strive to implement most of the business logic device-indepen...
153
click to vote
ICMCS
2006
IEEE
16 years 19 days ago
2006
IEEE
Measurement of the delay is an important and common problem in communication over packet networks. The endto-end and the round trip delay are among the factors directly impacting ...
136
click to vote
CF
2006
ACM
16 years 17 days ago
2006
ACM
Bytecode hardware-translation improves the performance of a Java Virtual Machine (JVM) with small hardware resource and complexity overhead. Instruction folding is a technique to ...
169
click to vote
ETFA
2005
IEEE
16 years 6 days ago
2005
IEEE
Industrial control systems architectures have been evolving to the decentralization of control tasks. This evolution associated with the time-critical nature of these tasks, incre...