1743 search results - page 269 / 349 » Generalized Modal Satisfiability |
116
click to vote
LICS
2010
IEEE
15 years 1 months ago
2010
IEEE
Psi-calculi extend the pi-calculus with nominal datatypes to represent data, communication channels, and logics for facts and conditions. This general framework admits highly expr...
120
click to vote
LOGCOM
2010
15 years 1 months ago
2010
This paper has two purposes. The first is to present a final coalgebra construction for finitary endofunctors on Set that uses a certain subset L∗ of the limit L of the firs...
133
Voted
PVLDB
2010
15 years 29 days ago
2010
Due to the popularity of social networks, many proposals have been proposed to protect the privacy of the networks. All these works assume that the attacks use the same background...
108
Voted
RTS
2010
15 years 29 days ago
2010
This article presents a detailed discussion of LRE-TL (Local Remaining Execution - TL-plane), an algorithm that schedules hard real-time periodic and sporadic task sets with uncon...
141
Voted
SDMW
2010
Springer
15 years 28 days ago
2010
Springer
In an outsourced database framework, clients place data management with specialized service providers. Of essential concern in such frameworks is data privacy. Potential clients ar...