Sciweavers

2030 search results - page 293 / 406
» The Need for Customizable Operating Systems
Sort
View
TKDE
1998
77views more  TKDE 1998»
13 years 8 months ago
Techniques for Update Handling in the Enhanced Client-Server DBMS
—The Client-Server computing paradigm has significantly influenced the way modern Database Management Systems are designed and built. In such systems, clients maintain data pages...
Alex Delis, Nick Roussopoulos
ICFEM
2010
Springer
13 years 7 months ago
Loop Invariant Synthesis in a Combined Domain
Abstract. Automated verification of memory safety and functional correctness for heap-manipulating programs has been a challenging task, especially when dealing with complex data ...
Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan...
DMSN
2010
ACM
13 years 7 months ago
Processing nested complex sequence pattern queries over event streams
Complex event processing (CEP) has become increasingly important for tracking and monitoring applications ranging from health care, supply chain management to surveillance. These ...
Mo Liu, Medhabi Ray, Elke A. Rundensteiner, Daniel...
WISEC
2010
ACM
13 years 7 months ago
Efficient code diversification for network reprogramming in sensor networks
As sensors in a network are mostly homogeneous in software and hardware, a captured sensor can easily expose its code and data to attackers and further threaten the whole network....
Qijun Gu
CISIS
2009
IEEE
13 years 6 months ago
Evaluation of a Framework for Dynamic Source Selection in Stream Processing
The volume of stream data delivered from different information sources is increasing. There are a variety of demands to utilize such stream data for applications. Stream processin...
Kousuke Ohki, Yousuke Watanabe, Hiroyuki Kitagawa