2659 search results - page 51 / 532 » Do we mean the same |
129
click to vote
CCS
2010
ACM
15 years 4 months ago
2010
ACM
Decentralized information flow control (DIFC) operating systems provide applications with mechanisms for enforcing information-flow policies for their data. However, significant o...
156
click to vote
JIIS
2006
15 years 4 months ago
2006
A join of two relations in real databases is usually much smaller than their cartesian product. This means that most of the combinations of tuples in the crossproduct of the respe...
139
click to vote
CARDIS
2008
Springer
15 years 6 months ago
2008
Springer
When it comes to security, an interesting difference between Java Card and regular Java is the absence of an on-card bytecode verifier on most Java Cards. In principle this opens u...
119
click to vote
EMSOFT
2008
Springer
15 years 6 months ago
2008
Springer
Interface theories have been proposed to support incremental design and independent implementability. Incremental design means that the compatibility checking of interfaces can pr...
108
click to vote
WINE
2009
Springer
15 years 10 months ago
2009
Springer
Following up on the work of Megiddo and Vazirani [10], who determined continuity properties of equilibrium prices and allocations for perhaps the simplest market model, Fisher’s ...