3346 search results - page 337 / 670 » A Generic Rendering System |
200
click to vote
HT
2000
ACM
15 years 11 months ago
2000
ACM
Many techniques exist for analyzing information domains in preparation for systems design. No systematic technique exists, however, for analyzing a system or domain in terms of it...
160
click to vote
TACAS
1999
Springer
15 years 11 months ago
1999
Springer
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...
203
click to vote
IAT
2009
IEEE
15 years 10 months ago
2009
IEEE
When intelligent systems reason about complex problems with a large hierarchical classification space it is hard to evaluate system performance. For classification problems, differ...
199
click to vote
COORDINATION
2006
Springer
15 years 10 months ago
2006
Springer
The coordination language Paradigm allows for a flexible and orthogonal modeling of interprocess relationships at the architectural level. It is shown how dynamic system adaptation...
180
click to vote
CIDR
2007
15 years 8 months ago
2007
In this paper, we present a free-and-easy data publishing and sharing system based on folksonomy. The system accepts data objects described with user-created metadata, called data...