4451 search results - page 560 / 891 » On Random Ordering Constraints |
179
Voted
CARDIS
1998
Springer
15 years 11 months ago
1998
Springer
: The new Gemplus smart card is based on the Java technology, embedding a virtual machine. The security policy uses mechanisms that are based on Java properties. This language prov...
162
Voted
TARK
1998
Springer
15 years 11 months ago
1998
Springer
Belief revision theory aims to describe how one should change one's beliefs when they are contradicted by newly input information. The guiding principle of belief revision th...
166
click to vote
ACSE
1997
ACM
15 years 11 months ago
1997
ACM
Software development projects are an essential component of software engineering courses. They provide the opportunity for students to apply theoretical material and to gain valua...
169
click to vote
ISSS
1996
IEEE
15 years 11 months ago
1996
IEEE
In this paper we present the problem of flow graph balancing for minimizingthe required memory bandwidth. Our goal is to minimize the required memory bandwidth within the given cy...
158
click to vote
ICDT
1997
ACM
15 years 11 months ago
1997
ACM
We develop a new schema for unstructured data. Traditional schemas resemble the type systems of programming languages. For unstructured data, however, the underlying type may be mu...