21430 search results - page 475 / 4286 » Abstract Effective Models |
155
click to vote
WISE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper we propose a constraint based declarative approach for Web services composition and monitoring problem. Our apllows user to build the abstract composition b...
140
click to vote
ENTCS
2007
15 years 6 months ago
2007
We investigate the domain-theoretic denotational semantics of a CPS with fresh name declaration. This is the target of a fully abstract CPS translation from the nu-calculus with ï...
177
click to vote
TSD
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The discovery of words by young infants involves two interrelated processes: (a) the detection of recurrent word-like acoustic patterns in the speech signal, and (b) cros...
190
click to vote
EUC
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Ontology is a promising tool to model and reason about context information in pervasive computing environment. However, ontology does not support representation and reaso...
151
click to vote
UML
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Security engineering deals with modeling, analysis, and implementation of complex security mechanisms. The dynamic nature of such mechanisms makes it difficult to anticip...