4520 search results - page 215 / 904 » Algebraic Techniques for Timed Systems |
173
click to vote
SMI
2005
IEEE
16 years 23 days ago
2005
IEEE
Gotsman et al. (SIGGRAPH 2003) presented the first method to generate a provably bijective parameterization of a closed genus-0 manifold mesh to the unit sphere. This involves the...
187
click to vote
VLDB
2001
ACM
15 years 11 months ago
2001
ACM
imizer Communication using Abstract Plans in Sybase ASE Query optimizers are error prone, due to both their nature and the increased search space that modern query processing requ...
177
click to vote
BPM
2003
Springer
16 years 12 days ago
2003
Springer
Abstract. Business Process Management (BPM) includes methods, techniques, and tools to support the design, enactment, management, and analysis of operational business processes. It...
146
click to vote
VLDB
1997
ACM
15 years 11 months ago
1997
ACM
The result size of a query that involves multiple attributes from the same relation depends on these attributes’ joint data distribution,i.e., the frequencies of all combination...
187
click to vote
PE
2000
Springer
15 years 7 months ago
2000
Springer
Stochastic process algebras have been proposed as compositional specification formalisms for performance models. In this paper, we describe a tool which aims at realising all bene...