4460 search results - page 615 / 892 » Formal methods for interactive systems |
114
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Analytic execution architectures have been proposed by the same authors as a means to conceptualize the cooperation between heterogeneous collectives of components such as program...
178
click to vote
ENTCS
2007
15 years 6 months ago
2007
In the domain of software engineering, the use of software components is now a well established approach. However, it raises problems about the dynamic adaptation of these compone...
188
click to vote
JDWM
2007
15 years 6 months ago
2007
Comprehensive data analysis has become indispensable in a variety of domains. OLAP (On-Line Analytical Processing) systems tend to perform poorly or even fail when applied to comp...
196
click to vote
SP
2008
IEEE
15 years 5 months ago
2008
IEEE
e an abstraction of zero-knowledge protocols that is le to a fully mechanized analysis. The abstraction is formalized within the applied pi-calculus using a novel equational theor...
205
click to vote
ICDE
2010
IEEE
15 years 4 months ago
2010
IEEE
In this paper, we propose the Hybrid-Layer Index (simply, the HL-index) that is designed to answer top-k queries efficiently when the queries are expressed on any arbitrary subset ...