4117 search results - page 540 / 824 » On the Satisfiability of Complex Constraints |
177
click to vote
OSDI
1994
ACM
15 years 8 months ago
1994
ACM
This paper describes the design and evaluation of SAM, a shared object system for distributed memory machines. SAM is a portable run-time system that provides a global name space ...
138
click to vote
EACL
1989
ACL Anthology
15 years 8 months ago
1989
ACL Anthology
This paper presents a critical discussion of the various approaches that have been used in the evaluation of Natural Language systems. We conclude that previous approaches have ne...
216
click to vote
ATVA
2010
Springer
15 years 8 months ago
2010
Springer
We study recursive timed automata that extend timed automata with recursion. Timed automata, as introduced by Alur and Dill, are finite automata accompanied by a finite set of real...
191
click to vote
CAEPIA
2009
Springer
15 years 8 months ago
2009
Springer
The syntax, semantics and an axiom system for an extension of Propositional Dynamic Logic (PDL) for order of magnitude qualitative reasoning which formalizes the concepts of close...
161
click to vote
CCGRID
2010
IEEE
15 years 8 months ago
2010
IEEE
Current service-level agreements (SLAs) offered by cloud providers do not make guarantees about response time of Web applications hosted on the cloud. Satisfying a maximum average ...