519 search results - page 58 / 104 » A New Approach to Strongly Polynomial Linear Programming |
118
click to vote
ESOP
2010
Springer
15 years 4 months ago
2010
Springer
Language-based information flow methods offer a principled way to enforce strong security properties, but enforcing noninterference is too inflexible for realistic applications. Se...
WABI
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. In this paper, we use integer programming approach for solving a hard combinatorial optimization problem, namely protein threading. For this sequence-to-structure alignme...
115
click to vote
CONCUR
2000
Springer
15 years 5 months ago
2000
Springer
Model checking based on the causal partial order semantics of Petri nets is an approach widely applied to cope with the state space explosion problem. One of the ways to exploit su...
ICCAD
2009
IEEE
14 years 11 months ago
2009
IEEE
Wire bonding is the most popular method to connect signals between dies in System-in-Package (SiP) design nowadays. Pad assignment, which assigns inter-die signals to die pads so ...
130
click to vote
EDBT
2009
ACM
15 years 5 months ago
2009
ACM
In a database system, disclosure of confidential private data may occur if users can put together the answers of past queries. Traditional access control mechanisms cannot guard a...