Sciweavers

2192 search results - page 16 / 439
» Embedded function composition
Sort
View
ICSOFT
2008
13 years 10 months ago
A Goal-Based Framework for Dynamic Service Discovery and Composition
Service-oriented computing allows new applications to be developed by using and/or combining services offered by different organizations. Service composition can be applied when a ...
Luiz Olavo Bonino da Silva Santos, Luís Fer...
SAC
2008
ACM
13 years 8 months ago
Optimized dynamic semantic composition of services
This paper proposes a design for the optimized dynamic (re)composition of services that supports various user requests and accounts for changes in user`s context. The composition ...
Sorin M. Iacob, João Paulo A. Almeida, Mari...
JDCTA
2010
150views more  JDCTA 2010»
13 years 3 months ago
Proof as Composition: An approach for the Large-granularity Web Services Composition
The large-granularity Web services are a new form of Web services. In contrast to the traditional Web services, they often have more interfaces, encapsulate more complex business ...
Yuyu Yin, Ying Li, Jianwei Yin, ShuiGuang Deng
ISORC
2009
IEEE
14 years 3 months ago
Resource Scopes: Toward Language Support for Compositional Determinism
Complex real-time embedded systems should be compositional and deterministic in the resource, time, and value domains. Determinism eases the engineering of correct systems and com...
Madhukar Anand, Sebastian Fischmeister, Insup Lee
TACAS
1998
Springer
105views Algorithms» more  TACAS 1998»
14 years 25 days ago
Verification of Large State/Event Systems Using Compositionality and Dependency Analysis
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
Jørn Lind-Nielsen, Henrik Reif Andersen, Ge...