1283 search results - page 194 / 257 » Science: the rules of the game |
LICS
2007
IEEE
15 years 8 months ago
2007
IEEE
We show that tree-like (Gentzen’s calculus) PK where all cut formulas have depth at most a constant d does not simulate cut-free PK. Generally, we exhibit a family of sequents t...
112
click to vote
DIS
2007
Springer
15 years 8 months ago
2007
Springer
We present an interactive discovery support system, which for a given starting concept of interest, discovers new, potentially meaningful relations with other concepts that have no...
112
click to vote
HICSS
2006
IEEE
15 years 8 months ago
2006
IEEE
IS Architecture emerges as a result of a sequence of IS project implementations. The architecture that emerges can be viewed as a network of software components linked by their in...
131
click to vote
HICSS
2006
IEEE
15 years 8 months ago
2006
IEEE
Utility provisioning, Grid resource management, instant copy kiosks, and network transfers provide an exciting new paradigm for data warehouse functions. Grid technologies are fas...
102
click to vote
HICSS
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper shows how XML can be used for static and dynamic analysis of architectures. Our analysis is based on the distinction between symbolic and semantic models of architectur...