Sciweavers

1893 search results - page 129 / 379
» Computational composites
Sort
View
SAC
2004
ACM
15 years 10 months ago
A core calculus of higher-order mixins and classes
This work presents an object-oriented calculus based on higher-order mixin construction via mixin composition, where some software engineering requirements are modeled in a formal ...
Lorenzo Bettini, Viviana Bono, Silvia Likavec
IEEESCC
2010
IEEE
15 years 7 months ago
A Model for Visual Specification of E-contracts
Abstract--In a web service composition, an electronic contract (e-contract) regulates how the services participating in the composition should behave, including the restrictions th...
Enrique Martinez, Gregorio Díaz, Marí...
MUM
2004
ACM
115views Multimedia» more  MUM 2004»
15 years 10 months ago
Task computing for ubiquitous multimedia services
The Task Computing framework is designed to operate in dynamic ubiquitous environments in which a mobile computing user dynamically discovers the current set of available semantic...
Zhexuan Song, Ryusuke Masuoka, Jonathan R. Agre, Y...
153
Voted
QCQC
1998
Springer
110views Communications» more  QCQC 1998»
15 years 9 months ago
The Hidden Subgroup Problem and Eigenvalue Estimation on a Quantum Computer
Abstract. A quantum computer can efficiently find the order of an element in a group, factors of composite integers, discrete logarithms, stabilisers in Abelian groups, and hidden ...
Michele Mosca, Artur Ekert
SWAP
2008
15 years 6 months ago
Exploiting Semantic Technology in Computational Logic-based Service Contracting
Dynamic composition of web services requires an automated step of contracting, i.e., the computation of a possibly fruitful interaction between two (or more) services, based on the...
Marco Alberti, Massimiliano Cattafi, Marco Gavanel...