1638 search results - page 272 / 328 » Properties of input-consuming derivations |
ICTAC
2005
Springer
15 years 3 months ago
2005
Springer
In distributed and mobile systems with volatile bandwidth and fragile connectivity, non-functional aspects like performance and reliability become more and more important. To forma...
CICLING
2004
Springer
15 years 3 months ago
2004
Springer
Qualitative variables take symbolic values, such as hot, shoe, Europe or France. Sometimes, the values may be arranged in layers or levels of detail. For instance, the variable pla...
ICFEM
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...
HAPTICS
2003
IEEE
15 years 3 months ago
2003
IEEE
Force-feedback mechanisms have been designed to simplify and enhance the human-vehicle interface. The increase in secondary controls within vehicle cockpits has created a desire f...
108
click to vote
ACMICEC
2003
ACM
15 years 3 months ago
2003
ACM
In this paper we study the mechanism design problem of coalition formation and cost sharing in an electronic marketplace, where buyers can form coalitions to take advantage of dis...