292 search results - page 38 / 59 » Service discovery supported by task models |
WOSP
2004
ACM
15 years 3 months ago
2004
ACM
Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets—coloured stochastic Petri nets—are a recently introduced modelling formalism w...
HICSS
2007
IEEE
14 years 11 months ago
2007
IEEE
We describe the evolution of a statistical survey design visual language from a standalone design-time modelling language into an environment supporting design, coordination, exec...
EDBTW
2010
Springer
15 years 2 months ago
2010
Springer
In recent years, Software-as-a-Service (SaaS) is gaining momentum with more and more successful adoptions. Several companies including some well known names have embraced this new...
137
click to vote
CCS
2011
ACM
13 years 9 months ago
2011
ACM
Cloud computing is quickly becoming the platform of choice for many web services. Virtualization is the key underlying technology enabling cloud providers to host services for a l...
DEXA
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. In this paper we present the BPAL platform that includes a logicbased language for business process (BP) modeling and a reasoning mechanism providing support for several ...