4524 search results - page 819 / 905 » The Complexity of Global Constraints |
ICFP
2005
ACM
14 years 8 months ago
2005
ACM
module is a programming abstraction that simultaneously generalizes -abstractions, records, and mutually recursive definitions. Although various mixin module type systems have bee...
ICCD
2002
IEEE
14 years 5 months ago
2002
IEEE
The requirements to system and software development tools brought up by the automotive industry differ from the requirements that other customers have. The important catchwords he...
ATAL
2009
Springer
14 years 2 months ago
2009
Springer
This paper analyzes bilateral multi-issue negotiation between selfinterested agents. Specifically, we consider the case where issues are divisible, there are time constraints in ...
CIKM
2009
Springer
14 years 2 months ago
2009
Springer
We introduce a new theoretical derivation, evaluation methods, and extensive empirical analysis for an automatic query expansion framework in which model estimation is cast as a r...
EMSOFT
2009
Springer
14 years 2 months ago
2009
Springer
The major obstacle to use multicores for real-time applications is that we may not predict and provide any guarantee on real-time properties of embedded software on such platforms...