3444 search results - page 408 / 689 » A Theory of Object-Oriented Design |
185
click to vote
JLP
2006
15 years 7 months ago
2006
In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language ...
182
click to vote
MST
2006
15 years 7 months ago
2006
In the late eighties, it was shown that juggling patterns can be described by strings of numbers with fascinating combinatorial properties that have since then been studied by man...
224
click to vote
SIGECOM
2008
ACM
15 years 7 months ago
2008
ACM
We characterize truthful mechanisms in two multi-parameter domains. The first characterization shows that every mechanism for combinatorial auctions with two subadditive bidders t...
170
click to vote
TIP
2008
15 years 7 months ago
2008
The theories of signal sampling, filter banks, wavelets and "overcomplete wavelets" are well-established for the Euclidean spaces and are widely used in the processing a...
174
click to vote
IWC
2007
15 years 7 months ago
2007
This paper presents an investigation of the self-serving biases of interface agent users. An experiment that involved 202 MS Office users demonstrated that, in contrast to the sel...