2786 search results - page 72 / 558 » A Practical Technique for Process Abstraction |
109
click to vote
FM
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Decentralized Information Flow Control (DIFC) systems enable programmers to express a desired DIFC policy, and to have the policy enforced via a reference monitor that re...
110
click to vote
TLCA
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. This paper proposes two typing systems for session interactions in higherorder mobile processes. Session types for the HOπ-calculus capture high-level structures nicatio...
115
click to vote
INFOCOM
2003
IEEE
15 years 6 months ago
2003
IEEE
— Measurement-based optimization is one important strategy to improve the performance of bandwidth-demanding peer-to-peer systems. However, to date, we have little quantitative k...
143
click to vote
EMO
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Bilevel optimization problems require every feasible upperlevel solution to satisfy optimality of a lower-level optimization problem. These problems commonly appear in ma...
113
click to vote
DEXA
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Latent Semantic Indexing(LSI) has been proved to be effective to capture the semantic structure of document collections. It is widely used in content-based text retrieval...