7075 search results - page 1233 / 1415 » Models and heterogeneous reasoning |
129
Voted
LICS
2009
IEEE
15 years 8 months ago
2009
IEEE
mantics Is Fully Abstract∗ Sumit Nain and Moshe Y. Vardi Rice University, Department of Computer Science Houston, TX 77005-1892, USA The discussion in the computer-science liter...
125
Voted
LICS
2009
IEEE
15 years 8 months ago
2009
IEEE
A psi-calculus is an extension of the pi-calculus with nominal data types for data structures and for logical assertions representing facts about data. These can be transmitted be...
124
click to vote
LICS
2009
IEEE
15 years 8 months ago
2009
IEEE
Pointer programs are a model of structured computation within logspace. They capture the common description of logspace algorithms as programs that take as input some structured d...
115
click to vote
LICS
2009
IEEE
15 years 8 months ago
2009
IEEE
Automata on infinite words (ω-automata) have wide applications in formal language theory as well as in modeling and verifying reactive systems. Complementation of ωautomata is ...
119
click to vote
ADBIS
2009
Springer
15 years 8 months ago
2009
Springer
The inefficiency of integration processes—as an abstraction of workflow-based integration tasks—is often reasoned by low resource utilization and significant waiting times f...