3994 search results - page 536 / 799 » A Linear Logical Framework |
223
click to vote
LPNMR
2005
Springer
16 years 22 days ago
2005
Springer
We introduce a declarative approach for a coherent composition of autonomous databases. For this we use ID-logic, a formalism that extends classical logic with inductive definitio...
195
click to vote
SEKE
2005
Springer
16 years 22 days ago
2005
Springer
The paper presents an approach to support run-time verification of software systems that combines two existing tools, Prospec and Java-MaC, into a single framework. Prospec can be...
182
click to vote
SEMWEB
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. Recently, there have been a number of proposals for languages for expressing web service constraints and capabilities, with WSPolicy and WSPL leading the way. The propose...
193
click to vote
SEMWEB
2005
Springer
16 years 22 days ago
2005
Springer
Semantic query optimization (SQO) has been proved to be quite useful in various applications (e.g., data integration, graphical query generators, caching, etc.) and has been extens...
187
click to vote
TCC
2005
Springer
16 years 22 days ago
2005
Springer
Several compositional forms of simulation-based security have been proposed in the literature, including universal composability, black-box simulatability, and variants thereof. Th...