4266 search results - page 629 / 854 » A Framework for Defining Logics |
172
click to vote
SEKE
2005
Springer
16 years 3 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...
154
click to vote
SEMWEB
2005
Springer
16 years 3 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...
170
click to vote
SEMWEB
2005
Springer
16 years 3 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...
166
click to vote
TCC
2005
Springer
16 years 3 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...
171
click to vote
ECLIPSE
2004
ACM
16 years 2 days ago
2004
ACM
Developing and consistently evolving quality software designs requires both theoretical knowledge and practical skills. The former can be communicated in a classroom; the latter h...