2814 search results - page 549 / 563 » Can We Make Operating Systems Reliable and Secure |
130
click to vote
CICLING
2003
Springer
15 years 9 months ago
2003
Springer
In setting up a formal system to specify a grammar formalism, the conventional (mathematical) wisdom is to start with primitives (basic primitive structures) as simple as possible...
150
click to vote
ECOOP
2005
Springer
15 years 10 months ago
2005
Springer
In Java 2 and Microsoft .NET Common Language Runtime (CLR), trusted code has often been programmed to perform accessrestricted operations not explicitly requested by its untrusted ...
160
click to vote
IEEEPACT
2002
IEEE
15 years 9 months ago
2002
IEEE
Modern embedded systems often require high degrees of instruction-level parallelism (ILP) within strict constraints on power consumption and chip cost. Unfortunately, a high-perfo...
144
Voted
IJISEC
2007
15 years 4 months ago
2007
The vision of ubiquitous computing is becoming a reality thanks to the advent of portable devices and the advances in wireless networking technologies. It aims to facilitate user ...
186
click to vote
DOCENG
2004
ACM
15 years 10 months ago
2004
ACM
With the wide adoption of XML as a standard data representation and exchange format, querying XML documents becomes increasingly important. However, relational database systems co...