1699 search results - page 178 / 340 » On the Expressive Power of QLTL |
178
click to vote
LCPC
2005
Springer
16 years 8 hour ago
2005
Springer
Titanium is an explicitly parallel dialect of JavaTM designed for high-performance scientific programming. It offers objectorientation, strong typing, and safe memory management...
199
click to vote
MIDDLEWARE
2005
Springer
16 years 6 hour ago
2005
Springer
Distributed publish/subscribe systems are naturally suited for processing events in distributed systems. However, support for expressing patterns about disparate events and algorit...
152
click to vote
ECAI
2004
Springer
15 years 12 months ago
2004
Springer
Knowledge-based programs (KBPs) are a powerful notion for expressing action policies in which branching conditions refer to implicit knowledge and call for a deliberation task at e...
197
click to vote
ISSAC
2004
Springer
15 years 12 months ago
2004
Springer
In [17], an abstract framework for automatically generating loop invariants of imperative programs was proposed. This framework was then instantiated for the language of conjuncti...
162
click to vote
LICS
2003
IEEE
15 years 11 months ago
2003
IEEE
Given a regular collection of Mazurkiewicz traces, which can be seen as the behaviours of a finite-state concurrent system, one can associate with it a canonical regular event st...