2844 search results - page 290 / 569 » A Comparison of Partitioning Operating Systems for Integrate... |
188
click to vote
PLDI
2006
ACM
16 years 19 days ago
2006
ACM
Static analysis of programs in weakly typed languages such as C and C++ is generally not sound because of possible memory errors due to dangling pointer references, uninitialized ...
159
click to vote
SIGUCCS
2000
ACM
15 years 10 months ago
2000
ACM
Microsoft Windows 2000 represents a major change in desktop and network operating systems. This latest Windows operating system includes many new features and technologies that wi...
202
click to vote
TCS
2008
15 years 6 months ago
2008
Abstract. Cryptographic operations are essential for many security-critical systems. Reasoning about information flow in such systems is challenging because typical (noninterferenc...
192
click to vote
TCSV
2010
15 years 1 months ago
2010
Wireless video multicast enables delivery of popular events to many mobile users in a bandwidth efficient manner. However, providing good and stable video quality to a large number...
188
click to vote
SRDS
2008
IEEE
16 years 1 months ago
2008
IEEE
We identify here various kinds of failure conditions and robustness issues that arise in context-aware pervasive computing applications. Such conditions are related to failures in...