Sciweavers

647 search results - page 109 / 130
» Collage, composites, construction
Sort
View
69
Voted
ECHT
1992
15 years 1 months ago
SEPIA: A Cooperative Hypermedia Authoring Environment
In this paper, we report about the design, development, and implementation of the SEPIA cooperative hypermedia authoring environment. It provides results on the following aspects ...
Norbert A. Streitz, Jörg M. Haake, Jörg ...
82
Voted
AOSD
2007
ACM
15 years 1 months ago
Fully abstract semantics of additive aspects by translation
stract Semantics of Additive Aspects by Translation S. B. Sanjabi C.-H. L. Ong Oxford University Computing Laboratory We study the denotational semantics of an aspect calculus by ...
S. B. Sanjabi, C.-H. Luke Ong
EUROCRYPT
2007
Springer
15 years 1 months ago
Round-Efficient Secure Computation in Point-to-Point Networks
Essentially all work studying the round complexity of secure computation assumes broadcast as an atomic primitive. Protocols constructed under this assumption tend to have very poo...
Jonathan Katz, Chiu-Yuen Koo
GECCO
2006
Springer
181views Optimization» more  GECCO 2006»
15 years 1 months ago
Robustness in cooperative coevolution
Though recent analysis of traditional cooperative coevolutionary algorithms (CCEAs) casts doubt on their suitability for static optimization tasks, our experience is that the algo...
R. Paul Wiegand, Mitchell A. Potter
89
Voted
WADT
1998
Springer
15 years 1 months ago
An Algebra of Graph Derivations Using Finite (co-) Limit Double Theories
Graph transformation systems have been introduced for the formal specification of software systems. States are thereby modeled as graphs, and computations as graph derivations acco...
Andrea Corradini, Martin Große-Rhode, Reiko ...