Sciweavers

705 search results - page 17 / 141
» Architecture in the Age of Compositionality
Sort
View
FORTE
2009
14 years 11 months ago
A Model-Checking Approach for Service Component Architectures
We present a strategy for model-checking the correctness of service composition. We do so in the context of SRML, a formal modelling framework for service-oriented computing being ...
João Abreu, Franco Mazzanti, José Lu...
ICML
1994
IEEE
15 years 5 months ago
A Modular Q-Learning Architecture for Manipulator Task Decomposition
Compositional Q-Learning (CQ-L) (Singh 1992) is a modular approach to learning to performcomposite tasks made up of several elemental tasks by reinforcement learning. Skills acqui...
Chen K. Tham, Richard W. Prager
DAC
1998
ACM
16 years 2 months ago
Automated Composition of Hardware Components
James Smith, Giovanni De Micheli
DAC
2006
ACM
15 years 7 months ago
"The IC nanometer race -- what will it take to win?"
: Creating ICs in the nanometer age is a high-stakes race that few companies can afford to compete in – and even fewer can win. Hear how senior technologists from the world’s t...
G. Singer, Philippe Magarshack, Dennis Buss, F.-C....
INFOSCALE
2007
ACM
15 years 3 months ago
An agent-based decentralised process management framework for web service composition
Web service composition provision which requires efficient coordination of the execution of component services is a critical issue in service-oriented computing. Nowadays, BPEL4WS...
Jun Yan, Phillip Pidgeon, Aneesh Krishna, Jianming...