4894 search results - page 192 / 979 » Dynamic Abstraction Planning |
145
click to vote
BIRTHDAY
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. COWS is a recently defined process calculus for specifying and combining service-oriented applications, while modelling their dynamic behaviour.
145
click to vote
IEEECIT
2009
IEEE
15 years 2 months ago
2009
IEEE
Abstract--The size, heterogeneity and dynamism of the execution platforms of scientific applications, like computational grids, make using those platforms complex. Furthermore, tod...
138
click to vote
ESAW
2006
Springer
15 years 8 months ago
2006
Springer
Interaction refers to an abstract and intangible concept. In modelling, intangible concepts can be embodied and made explicit. This allows to manipulate the abstractions and to bui...
144
click to vote
JISE
2010
14 years 11 months ago
2010
abstraction for ubiquitous computing. The key to service modeling of SOA-based systems is in classifying services into business, application, and orchestration layers. However, ser...
251
click to vote
POPL
2004
ACM
16 years 4 months ago
2004
ACM
We define seal, an untyped call-by-value -calculus with primitives for protecting abstract data by sealing, and develop a bisimulation proof method that is sound and complete with...