Sciweavers

191 search results - page 5 / 39
» Service Description and Analysis From a Type Theoretic Appro...
Sort
View
GLOBECOM
2006
IEEE
14 years 1 months ago
Analytical Investigation with Markov Models of Selective Repeat Type II Hybrid ARQ
— This paper presents an analytical model for the analysis of Hybrid ARQ techniques on Discrete Time Markov Channels by means of Markov chains. The first contribution is an orig...
Leonardo Badia, Marco Levorato, Michele Zorzi
IEPOL
2006
42views more  IEPOL 2006»
13 years 7 months ago
The quantitative evaluation of the economic impact of e-government: A structural modelling approach
I propose a quantitative methodology to analyze the economic impact of e-government based on structural modeling, allowing for a careful description of the underlying theoretical ...
Lucio Picci
AICT
2006
IEEE
210views Communications» more  AICT 2006»
14 years 1 months ago
Model-Based Analysis of Obligations in Web Service Choreography
In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of...
Howard Foster, Sebastián Uchitel, Jeff Mage...
JKM
2007
89views more  JKM 2007»
13 years 7 months ago
Knowledge leadership cycles: an approach from Nonaka's viewpoint
Purpose – The aim of this paper is to analyse leadership cycles based on knowledge creation, with learning and culture as key elements for reaching leadership. Following Ikujiro...
Maria Sarabia
EPEW
2005
Springer
14 years 27 days ago
Choreographing Security and Performance Analysis for Web Services
We describe a UML-based method which supports model-driven development of service-oriented architectures including those used in Web services. Analysable content is extracted from ...
Stephen Gilmore, Valentin Haenel, Leïla Kloul...