4117 search results - page 634 / 824 » On the Satisfiability of Complex Constraints |
151
click to vote
JASSS
1998
15 years 6 months ago
1998
This paper describes an application of recently developed qualitative reasoning techniques to complex, socio{economic allocation problems. We explain why we believe traditional op...
171
click to vote
JSS
2010
15 years 5 months ago
2010
The backbone of many software architectures and component integration frameworks is an architectural style that provides a domain-specific design vocabulary and a set of constrai...
183
click to vote
NOCS
2010
IEEE
15 years 5 months ago
2010
IEEE
—With the emergence of on-chip networks, the power consumed by router buffers has become a primary concern. Bufferless flow control addresses this issue by removing router buffe...
181
click to vote
VL
2010
IEEE
15 years 5 months ago
2010
IEEE
Visual representations are widely used to describe modern-day software systems, but, in most cases, they lack rigour. This paper addresses the problems of formality, rigour and co...
192
click to vote
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
In this paper, we investigate the roles of replication vs. repair to achieve durability in large-scale distributed storage systems. Specifically, we address the fundamental questio...