7049 search results - page 174 / 1410 » Data Abstraction for CSP-OZ |
178
click to vote
BSN
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—The use of local processing to reduce data transmission rates, and thereby power and bandwidth requirements, is common in wireless sensor networks. Achieving the minimum...
196
click to vote
AIME
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The Regional Healthcare Agency (ASL) of Pavia has been maintaining a central data repository which stores healthcare data about the population of Pavia area. The analysis...
152
click to vote
BTW
2009
Springer
16 years 1 months ago
2009
Springer
Abstract: In the last decade, automotive systems changed from traditional mechanical or mechatronical systems towards software intensive systems, because more and more functionalit...
178
click to vote
LICS
2007
IEEE
16 years 24 days ago
2007
IEEE
d abstract) Marcin Jurdzi´nski and Ranko Lazi´c∗ Department of Computer Science, University of Warwick, UK An alternation-free modal µ-calculus over data trees is introduced ...
177
click to vote
CISC
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Key privacy is a notion regarding the privacy of the owner of a public key, which has important applications in building (receiver) anonymous channels, or privacy-enhance...