186 search results - page 20 / 38 » Deriving Mixed Evaluation from Standard Evaluation for a Sim... |
CCGRID
2005
IEEE
14 years 1 months ago
2005
IEEE
Large distributed Grid systems pose new challenges in job scheduling due to complex workload characteristics and system characteristics. Due to the numerous parameters that must b...
ICFP
2002
ACM
14 years 7 months ago
2002
ACM
Motivated by applications to proof assistants based on dependent types, we develop and prove correct a strong reducer and equivalence checker for the -calculus with products, sums...
AIPS
2008
13 years 9 months ago
2008
Enforced hill-climbing is an effective deterministic hillclimbing technique that deals with local optima using breadth-first search (a process called "basin flooding"). ...
WPES
2005
ACM
14 years 29 days ago
2005
ACM
Organizations in privacy-regulated industries (e.g. healthcare and financial institutions) face significant challenges when developing policies and systems that are properly align...
EUROMICRO
2006
IEEE
14 years 1 months ago
2006
IEEE
One area of the web services architecture yet to be standardised is that of fault tolerance for services. At the same time, WS-BPEL is moving from a de facto standard to an OASIS ...