626 search results - page 16 / 126 » Scheduling as Rule Composition |
CSFW
2006
IEEE
14 years 1 months ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...
SPAA
2003
ACM
14 years 1 months ago
2003
ACM
In this paper we consider the following scenario. A set of n jobs with different threads is being run concurrently. Each job has an associated weight, which gives the proportion ...
WSC
2004
13 years 9 months ago
2004
2004 brought a landmark event in the changes to regulations governing hours of service for truck drivers. This paper describes an effort utilizing modeling and simulation for eval...
ICCV
2009
IEEE
15 years 22 days ago
2009
IEEE
We introduce a new problem of automatic photo composition,
and present an effective technique for finding good
views within a panoramic scene. Instead of applying heuristic
rule...
VVEIS
2007
13 years 9 months ago
2007
Research in web services has allowed reusable, distributed, loosely coupled components which can easily be composed to build systems or to produce more complex services. Compositio...