Sciweavers

837 search results - page 38 / 168
» A Compositional Approach on Modal Specifications for Timed S...
Sort
View
ICWS
2010
IEEE
13 years 6 months ago
Timed Extended Invariants for the Passive Testing of Web Services
The service-oriented approach is becoming more and more popular to integrate highly heterogeneous systems. Web services are the natural evolution of conventional middleware techno...
Gerardo Morales, Stéphane Maag, Ana R. Cava...
TCOM
2010
195views more  TCOM 2010»
13 years 2 months ago
Coherent and Differential Space-Time Shift Keying: A Dispersion Matrix Approach
Abstract--Motivated by the recent concept of Spatial Modulation (SM), we propose a novel Space-Time Shift Keying (STSK) modulation scheme for Multiple-Input Multiple-Output (MIMO) ...
Shinya Sugiura, Sheng Chen, Lajos Hanzo
CHI
2007
ACM
14 years 8 months ago
An adaptive & adaptable approach to enhance web graphics accessibility for visually impaired people
To date, efforts have been made to enable visually impaired people to gain access to graphics on the Internet. However, these studies only offer a solution for a specific type of ...
Chui Chui Tan, Wai Yu, Graham McAllister
ER
2010
Springer
144views Database» more  ER 2010»
13 years 6 months ago
Building Dynamic Models of Service Compositions with Simulation of Provision Resources
Efficient and competitive provision of service compositions depends both on the composition structure, and on planning and management of computational resources necessary for prov...
Dragan Ivanovic, Martin Treiber, Manuel Carro, Sch...
ECLIPSE
2005
ACM
13 years 9 months ago
Leveraging Eclipse for integrated model-based engineering of web service compositions
In this paper we detail the design and implementation of an Eclipse plug-in for an integrated, model-based approach, to the engineering of web service compositions. The plug-in al...
Howard Foster, Sebastián Uchitel, Jeff Mage...