11484 search results - page 360 / 2297 » Modeling in the Large and Modeling in the Small |
238
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 ...
206
Voted
ICML
2005
IEEE
16 years 7 months ago
2005
IEEE
Graph-based methods for semi-supervised learning have recently been shown to be promising for combining labeled and unlabeled data in classification problems. However, inference f...
174
click to vote
BTW
2007
Springer
16 years 29 days ago
2007
Springer
Abstract: The data on the web, in digital libraries, in scientific repositories, etc. continues to grow at an increasing rate. Distribution is a key solution to overcome this data...
180
click to vote
EURODAC
1994
IEEE
1994
IEEE
OSCAR: optimum simultaneous scheduling, allocation and resource binding based on integer programming
15 years 11 months ago
: This paper presents an approach to high-level synthesis which is based upon a 0/1 integer programming model. In contrast to other approaches, this model allows solving all three ...
169
click to vote
SI3D
1995
ACM
15 years 10 months ago
1995
ACM
We describe an approach for determining potentially visible sets in dynamic architectural models. Our scheme divides the models into cells and portals, computing a conservative es...