Sciweavers

3581 search results - page 60 / 717
» The Inframetric Model for the Internet
Sort
View
EPEW
2006
Springer
15 years 1 months ago
A Function-Equivalent Components Based Simplification Technique for PEPA Models
PEPA has recently been extended with functional rates [1][2]. These functions allow the specification of indirect interaction between components in such a way that the rate of an a...
Jane Hillston, Leïla Kloul
ESWS
2008
Springer
14 years 11 months ago
The Web Service Modeling Toolkit
The development of software is not an easy task and the availability of adequate tool support is an important step towards reducing the effort that a developer must put into the So...
Mick Kerrigan, Adrian Mocan
ICWS
2007
IEEE
14 years 11 months ago
Model Checking Expressive Web Service Descriptions
In order to find suitable web services in a large market of web services, automatic support is needed to filter out web services semantically. Existing matchmaking approaches ma...
Sudhir Agarwal
RULEML
2010
Springer
14 years 8 months ago
Norm Compliance in Business Process Modeling
We investigate the concept of norm compliance in business process modeling. In particular we propose an extension of Formal Contract Logic (FCL), a combination of defeasible logic ...
Guido Governatori, Antonino Rotolo
AH
2006
Springer
15 years 1 months ago
A Model for Personalized Learning Through IDTV
Interactive Digital TV (IDTV) opens new learning possibilities where new forms of education are needed. In this paper we explain a new conception of t-learning experiences where TV...
Marta Rey-López, Ana Fernández Vilas...