5451 search results - page 739 / 1091 » Typed Operational Semantics |
157
click to vote
CSFW
2006
IEEE
16 years 21 days ago
2006
IEEE
A common theoretical assumption in the study of information flow security in Java-like languages is that pointers are opaque – i.e., that the only properties that can be observ...
193
click to vote
DSN
2006
IEEE
16 years 21 days ago
2006
IEEE
—Multithreaded servers with cache-coherent shared memory are the dominant type of machines used to run critical network services and database management systems. To achieve the h...
143
click to vote
ESCIENCE
2006
IEEE
16 years 21 days ago
2006
IEEE
The DAM-LR (Distributed Access Management for Language Resources) project aims at virtually integrating various European language resource archives that allow users to navigate an...
115
click to vote
ETFA
2006
IEEE
16 years 21 days ago
2006
IEEE
Increasingly, fieldbuses are used in a variety of applications as the end users make large investments on fieldbus installations. Therefore the availability of these fieldbuses is...
163
click to vote
ICDCS
2006
IEEE
16 years 20 days ago
2006
IEEE
Timing failures refer to a situation where the environment in which a system operates does not behave as expected regarding the timing assumptions, that is, the timing constraints...