Sciweavers

18924 search results - page 57 / 3785
» Conformance of Distributed Systems
Sort
View
117
Voted
DEXAW
2004
IEEE
93views Database» more  DEXAW 2004»
15 years 6 months ago
QoS in Ontology-Based Service Classification and Discovery
Nowadays, many different organizations which operate in the Web distributed environment become more and more dependent on services to automate their activities and to improve thei...
Devis Bianchini, Valeria De Antonellis, Michele Me...
123
Voted
COORDINATION
2008
Springer
15 years 4 months ago
Session Types for Orchestration Charts
We present a novel approach for the sound orchestration of services. It is based on Orcharts and Typecharts: a service orchestration language and an associated behavioural typing l...
Alessandro Fantechi, Elie Najm
CONCUR
2010
Springer
15 years 3 months ago
Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis
Abstract. In this paper we introduce a real-time extension of the concurrent object modeling language Creol which is based on duration statements indicating best and worst case exe...
Frank S. de Boer, Mohammad Mahdi Jaghoori, Einar B...
105
Voted
ICIP
2000
IEEE
16 years 4 months ago
Orthonormal Finite Ridgelet Transform for Image Compression
A finite implementation of the ridgelet transform is presented. The transform is invertible, non-redundant and achieved via fast algorithms. Furthermore we show that this transfor...
Minh N. Do, Martin Vetterli
ICSE
2007
IEEE-ACM
15 years 8 months ago
TAXI - A Tool for XML-Based Testing
We present the tool TAXI which implements the XMLbased Partition Testing approach for the automated generation of XML Instances conforming to a given XML Schema. In addition it pr...
Antonia Bertolino, Jinghua Gao, Eda Marchetti, And...