5451 search results - page 739 / 1091 » Typed Operational Semantics |
174
click to vote
CSFW
2006
IEEE
16 years 1 months 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...
217
Voted
DSN
2006
IEEE
16 years 1 months 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...
170
click to vote
ESCIENCE
2006
IEEE
16 years 1 months 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...
129
Voted
ETFA
2006
IEEE
16 years 1 months 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...
185
click to vote
ICDCS
2006
IEEE
16 years 1 months 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...