10072 search results - page 93 / 2015 » Composition of Model Programs |
136
click to vote
WWW
2005
ACM
16 years 3 months ago
2005
ACM
WS-* specifications cover a variety of issues ranging from security and reliability to transaction support in web services. However, these specifications do not address web servic...
102
click to vote
APSEC
2008
IEEE
15 years 8 months ago
2008
IEEE
Design and development scalability, in any engineering, requires information hiding and a specific composition mechanism in which composite items are made-up of other items. This ...
123
click to vote
DEXAW
2005
IEEE
15 years 8 months ago
2005
IEEE
We describe a methodology for creating composite web services, a key ingredient in spatial data infrastructure (SDI) applications, which we demonstrate on an emergency management ...
113
click to vote
ECOWS
2006
Springer
15 years 4 months ago
2006
Springer
We present a goal-driven approach to model a choreographer for realizing composite Web services. In this framework, the users start with an abstract, and possibly incomplete funct...
143
click to vote
FORMATS
2010
Springer
15 years 10 days ago
2010
Springer
Abstract. We investigate layered composition for real-time systems modelled as (networks of) timed automata (TA). We first formulate the principles of layering and transition indep...