Sciweavers

7918 search results - page 12 / 1584
» Model Composition Directives
Sort
View
SAC
2004
ACM
14 years 27 days 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
ISPAN
2002
IEEE
14 years 11 days ago
Building Ontology for Optimization and Composition of Parallel JavaBean Programs
Abstract— In this paper, we propose an ontology specification for JavaBean programs, the object component model of Java. Our specification is written using the DAML+OIL languag...
Cheng-Wei Chen, Chung-Kai Chen, Jenq Kuen Lee
SEAA
2008
IEEE
14 years 1 months ago
A Compositional Approach to Active and Passive Components
Current software component models lack compositionality. Most of them also do not have both active and passive components. In this paper, we show how we can define a compositiona...
Kung-Kiu Lau, Ioannis Ntalamagkas
ADC
2003
Springer
139views Database» more  ADC 2003»
14 years 21 days ago
Web Service Composition with Case-Based Reasoning
To run a smart E-Business or provide efficient Web service, a web services composition model is needed. Web services composition refers to the process of collaborating the heterog...
Benchaphon Limthanmaphon, Yanchun Zhang
FOCS
2003
IEEE
14 years 23 days ago
General Composition and Universal Composability in Secure Multi-Party Computation
Concurrent general composition relates to a setting where a secure protocol is run in a network concurrently with other, arbitrary protocols. Clearly, security in such a setting i...
Yehuda Lindell