1987 search results - page 186 / 398 » Structural Model: Architecture for Software Designers |
130
click to vote
SIGSOFT
2005
ACM
16 years 5 months ago
2005
ACM
We present a technique that enables the use of finite model finding to check the satisfiability of certain formulas whose intended models are infinite. Such formulas arise when us...
172
click to vote
SIGCOMM
2009
ACM
15 years 11 months ago
2009
ACM
This paper presents BCube, a new network architecture specifically designed for shipping-container based, modular data centers. At the core of the BCube architecture is its serve...
134
click to vote
MTA
2006
15 years 4 months ago
2006
In this paper we present a model and an adaptation architecture for context-aware multimodal documents. A compound virtual document describes the different ways in which multimodal...
187
click to vote
DOCENG
2008
ACM
15 years 6 months ago
2008
ACM
Semantic web researchers tend to assume that XML Schema and OWL-S are the correct means for representing the types, structure, and semantics of XML data used for documents and int...
131
click to vote
SIGSOFT
2001
ACM
16 years 5 months ago
2001
ACM
Complex toolsets can be difficult to use. User interfaces can help by guiding users through the alternative choices that might be possible at any given time, but this tends to loc...