Sciweavers

79 search results - page 4 / 16
» Web Verification: Perspective and Challenges
Sort
View
IROS
2006
IEEE
163views Robotics» more  IROS 2006»
14 years 1 months ago
Robotic On-Orbit Servicing - DLR's Experience and Perspective
The increasing number of launched satellites per year, calls for solutions to keep free operational space for telecommunication systems in geo-synchronized orbit, as well as to av...
Klaus Landzettel, Carsten Preusche, Alin Albu-Sch&...
DBKDA
2010
IEEE
129views Database» more  DBKDA 2010»
13 years 5 months ago
Understanding Linked Open Data as a Web-Scale Database
While Linked Open Data (LOD) has gained much attention in the recent years, requirements and the challenges concerning its usage from a database perspective are lacking. We argue t...
Michael Hausenblas, Marcel Karnstedt
FTDCS
2004
IEEE
13 years 11 months ago
Introducing Compositionality in Web Service Descriptions
Web services are essentially black box components from a composer's or a mediator's perspective. The behavioural description of any service can be asserted by the compos...
Monika Solanki, Antonio Cau, Hussein Zedan
AISS
2010
165views more  AISS 2010»
13 years 5 months ago
Proposing a Comprehensive Storage Virtualization Architecture with Related Verification for Data Center Application
A successful IT Company is characterized by its ability to put the right information in front of the right decision-makers at the right time while concerns about security issues. ...
M. R. Aliabadi, Mohammad Reza Ahmadi
VLDB
2005
ACM
103views Database» more  VLDB 2005»
14 years 1 months ago
Consistency for Web Services Applications
A key challenge facing the designers of serviceoriented applications is ensuring that the autonomous services that make up these distributed applications always finish in consiste...
Paul Greenfield, Dean Kuo, Surya Nepal, Alan Feket...