3353 search results - page 367 / 671 » Laver and set theory |
166
click to vote
RE
2005
Springer
16 years 1 months ago
2005
Springer
View merging is an important activity in any conceptual modeling language. It is often desirable to combine a set of views to gain a unified perspective, to test hypotheses about...
230
click to vote
SEMWEB
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. In the Semantic Web information would be retrieved, processed, combined, shared and reused in the maximum automatic way possible. Obviously, such procedures involve a hig...
203
click to vote
PADS
2004
ACM
16 years 1 months ago
2004
ACM
This paper advocates the use of a formal framework for analyzing simulation performance. Simulation performance is characterized based on the three simulation development process ...
201
click to vote
SPAA
2004
ACM
16 years 1 months ago
2004
ACM
This paper presents the first polylogarithmic-competitive online algorithms for two-metric network design problems. These problems arise naturally in the design of computer netwo...
226
click to vote
WISER
2004
ACM
16 years 1 months ago
2004
ACM
We review the literature on Free/Libre Open Source Software (FLOSS) development and on software development, distributed work and teams more generally to develop a theoretical mod...