Sciweavers

2199 search results - page 84 / 440
» Adapting Privacy-Preserving Computation to the Service Provi...
Sort
View
QUESTA
2011
14 years 3 months ago
Queues with waiting time dependent service
Motivated by service levels in terms of the waiting-time distribution seen in e.g. call centers, we consider two models for systems with a service discipline that depends on the w...
René Bekker, G. M. Koole, B. F. Nielsen, T....
105
Voted
ICSE
2008
IEEE-ACM
16 years 1 months ago
Formal verification of an automotive scenario in service-oriented computing
We report on the successful application of academic experience with formal modelling and verification techniques to an automotive scenario from the service-oriented computing doma...
Maurice H. ter Beek, Stefania Gnesi, Nora Koch, Fr...
126
Voted
IEEESCC
2006
IEEE
15 years 6 months ago
Using Assumptions in Service Composition Context
Service composition aims to provide an efficient and accurate model of a service, based on which the global service oriented architecture (SOA) can be realized, allowing value add...
Zheng Lu, Aditya Ghose, Peter Hyland, Ying Guan
90
Voted
SAC
2008
ACM
15 years 2 days ago
Web service access management for integration with agent systems
The agent paradigm includes the notion that agents interact with services. This paper identifies the need for controlled access to such services, from the perspective of agent sys...
Benno J. Overeinder, P. D. Verkaik, Frances M. T. ...
124
Voted
APSCC
2009
IEEE
15 years 7 months ago
Translating Semantic Web Service based business process models
— We describe a model-driven translation approach between Semantic Web Service based business process models in the context of the SUPER project. In SUPER we provide a set of bus...
Liliana Cabral, John Domingue