3468 search results - page 451 / 694 » An open logical framework |
PVLDB
2010
15 years 2 months ago
2010
We demonstrate an efficient LINQ to SQL provider and its significant impact on the runtime performance of LINQ programs that process large data volumes. This alternative provider...
116
click to vote
TCS
2010
15 years 2 months ago
2010
Subbisimilarity is proposed as a general tool to classify the relative expressive power of process calculi. The expressiveness of several variants of CCS is compared in terms of t...
130
click to vote
COORDINATION
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Recently, there has been much interest in multi-party session types (MPSTs) as a means of rigorously specifying protocols for interaction among multiple distributed parti...
114
click to vote
ICIP
2010
IEEE
15 years 2 months ago
2010
IEEE
Tracking groups of people is a highly informative task in surveillance, and it represents a still open and little explored issue. In this paper, we propose a brand new framework f...
123
click to vote
MEMOCODE
2010
IEEE
15 years 1 months ago
2010
IEEE
Elastic systems provide tolerance to the variations in computation and communication delays. The incorporation of elasticity opens new opportunities for optimization using new corr...