MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "A formal model of services." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

11 documents found, showing 1 through 10. Next 10 →

ATOM

D.: A logic based approach for service discovery with composition support
by Adina Sîrbu, Ioan Toma, Dumitru Roman — 2006 — In: Proceedings of the ECOWS06 Workshop on Emerging Web Services Technology
… logic based approach for service discovery with composition support. First, we provide a formal model…
Cited by 1 (0 self) – Add To MetaCart

Automatic location of services
by Uwe Keller, Rubén Lara, Holger Lausen, Axel Polleres, Dieter Fensel — 2005 — In Proceedings of the 2nd European Semantic Web Conference (ESWC 2005
… and effects are expected by the client. A formal Model for Services and Goals. We use a state…
Cited by 31 (9 self) – Add To MetaCart

K.: Extending the compatibility notion for abstract WS-BPEL processes
by Dieter König, Niels Lohmann, Simon Moser, Christian Stahl, Karsten Wolf — Proceedings of the 17th International Conference on World Wide Web, WWW 2008
… of view. To show this, we will present a formal model for service contracts and will then extend…
Cited by 4 (1 self) – Add To MetaCart

Sound development of secure service-based systems
by Martin Deubler, Johannes Grünbauer, Jan Jürjens, Guido Wimmel, Technische Universität München — 2004 — Proceedings of the 2nd international conference on Service oriented computing
… on a formal model for service-based systems proposed in [4] and can be applied in the context of a…
Cited by 2 (0 self) – Add To MetaCart

Matching Nondeterministic Services with Operating Guidelines
by Peter Massuthe, Karsten Schmidt — 2005
…. In this paper, we present our approach only for acyclic service automata. 2 A Formal Model for Services…
Cited by 3 (2 self) – Add To MetaCart

Fiona A Tool to Analyze Interacting Open Nets
by Peter Massuthe, Daniela Weinberg
… compatible partners of this service. As a formal model for services we use open nets [5, 4], a special class…
Add To MetaCart

Symbolic Representation of Operating Guidelines for Services
by Kathrin Kaschner, Peter Massuthe, Karsten Wolf
… we introduce open workflow nets (oWFNs) as a formal model for services and define the interaction…
Add To MetaCart

Portfolio Evaluation
by Allan Clark, Stephen Gilmore — 1993 — Collaboration, and Writing Centers. College Composition and Communication
… of durations to the symbolic rates of our high-level formal model of the service expressed in a stochastic…
Cited by 1 (0 self) – Add To MetaCart

Web Intelligence and Agent Systems: An International Journal, 2003.
by Method For Solving, José M. Vidal
… the target agents as consuming the services of the sensors. 2 A Formal Model for Service Allocation We define…
Add To MetaCart

A Method for Solving Distributed Service Allocation
by Jose M Vidal — 2003
… the target agents as consuming the services of the sensors. 2. A FORMAL MODEL FOR SERVICE AL- LOCATION We…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB