7971 search results - page 154 / 1595 » On unbounded operators and applications |
224
click to vote
SP
2010
IEEE
15 years 4 months ago
2010
IEEE
The security of systems such as operating systems, hypervisors, and web browsers depend critically on reference monitors to correctly enforce their desired security policy in the ...
201
click to vote
TSE
2011
15 years 1 months ago
2011
— We present Bristlecone, a programming language for robust software systems. Bristlecone applications have two components: a high-level organization specification that describe...
159
click to vote
ACSAC
2009
IEEE
16 years 1 months ago
2009
IEEE
—Smartphones are now ubiquitous. However, the security requirements of these relatively new systems and the applications they support are still being understood. As a result, the...
177
click to vote
DUX
2007
15 years 10 months ago
2007
The mobile phone is one of the most commonly carried pieces of personal, readily accessible digital technologies. Beyond just voice calls, they function as digital cameras, PDAs, ...
181
click to vote
GCC
2007
Springer
16 years 17 days ago
2007
Springer
The Message Passing Interface (MPI) is a standard in parallel computing, and can also be used as a highperformance programming model for Grid application development. How to execu...