2786 search results - page 72 / 558 » A Practical Technique for Process Abstraction |
153
click to vote
FM
2009
Springer
16 years 20 days 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...
161
click to vote
TLCA
2007
Springer
16 years 6 days 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...
167
click to vote
INFOCOM
2003
IEEE
15 years 11 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...
287
click to vote
EMO
2009
Springer
16 years 20 days 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...
170
click to vote
DEXA
2006
Springer
15 years 9 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...