12373 search results - page 2282 / 2475 » Semi-Logarithmic Number Systems |
138
click to vote
CAV
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Synthesis of finite state systems from full linear time temporal logic (LTL) specifications is gaining more and more attention as several recent achievements have signi...
146
click to vote
DEBS
2010
ACM
15 years 7 months ago
2010
ACM
Complex event processing for pervasive computing must deal with various sources of error. In this paper, we focus on improving complex event detector handling of several types of ...
141
click to vote
ICDCS
2010
IEEE
15 years 7 months ago
2010
IEEE
—Today’s large campus and enterprise networks are characterized by their complexity, i.e. containing thousands of hosts, and diversity, i.e. with various applications and usage...
142
click to vote
ESTIMEDIA
2007
Springer
15 years 7 months ago
2007
Springer
Due to the increasing demands on efficiency, performance and flexibility reconfigurable computational architectures are very promising candidates in embedded systems design. Recent...
127
click to vote
FC
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Private keyword search is a technique that allows for searching and retrieving documents matching certain keywords without revealing the search criteria. We improve the s...