1699 search results - page 178 / 340 » On the Expressive Power of QLTL |
205
Voted
LCPC
2005
Springer
16 years 18 days 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...
226
click to vote
MIDDLEWARE
2005
Springer
16 years 18 days 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...
166
click to vote
ECAI
2004
Springer
16 years 15 days 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...
227
click to vote
ISSAC
2004
Springer
16 years 14 days 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...
194
click to vote
LICS
2003
IEEE
16 years 11 days 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...