Sciweavers

1893 search results - page 68 / 379
» Computational composites
Sort
View
GRAPHITE
2005
ACM
15 years 7 months ago
Compositing color with texture for multi-variate visualization
Multivariate data visualization requires the development of effective techniques for simultaneously conveying multiple different data distributions over a common domain. Although ...
Haleh Hagh-Shenas, Victoria Interrante
CONCUR
2003
Springer
15 years 6 months ago
Compositionality for Probabilistic Automata
We establish that on the domain of probabilistic automata, the trace distribution precongruence coincides with the simulation preorder.
Nancy A. Lynch, Roberto Segala, Frits W. Vaandrage...
CONCUR
2008
Springer
15 years 3 months ago
Modeling Computational Security in Long-Lived Systems
Abstract. For many cryptographic protocols, security relies on the assumption that adversarial entities have limited computational power. This type of security degrades progressive...
Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nan...
HICSS
2007
IEEE
145views Biometrics» more  HICSS 2007»
15 years 8 months ago
Next-Generation Software Engineering: Function Extraction for Computation of Software Behavior
The ultra-large-scale systems of the future require the transformation of software engineering into a computational discipline capable of fast and dependable software development....
Richard C. Linger, Mark G. Pleszkoch, Luanne Burns...
IEEESCC
2006
IEEE
15 years 7 months ago
Using Data Semantics to Enable Automatic Composition of Web Services
— This paper demonstrates the automatic creation of a web service that chains together existing web services to achieve a particular goal. The generated service implements the ne...
Danny Gagne, Marwan Sabbouh, Scott R. Bennett, Sus...