Sciweavers

1990 search results - page 63 / 398
» services 2010
Sort
View
SERVICES
2010
201views more  SERVICES 2010»
14 years 4 months ago
IT Auditing to Assure a Secure Cloud Computing
In this paper we discuss the evolvement of cloud computing paradigm and present a framework for secure cloud computing through IT auditing. Our approach is to establish a general ...
Zhixiong Chen, John Yoon
APSCC
2010
IEEE
14 years 4 months ago
ValySeC: A Variability Analysis Tool for Service Compositions Using VxBPEL
Nowadays applications are increasingly developed based on remote Web services and service composition has become a powerful novel development paradigm. Due to the fact that such a...
Chang-ai Sun, Tieheng Xue, Marco Aiello
LREC
2010
173views Education» more  LREC 2010»
14 years 11 months ago
A Corpus Representation Format for Linguistic Web Services: The D-SPIN Text Corpus Format and its Relationship with ISO Standard
In the framework of the preparation of linguistic web services for corpus processing, the need for a representation format was felt, which supports interoperability between differ...
Ulrich Heid, Helmut Schmid, Kerstin Eckart, Erhard...
IEEEHPCS
2010
14 years 8 months ago
Semantic model checking security requirements for web services
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
L. Boaro, E. Glorio, Francesco Pagliarecci, Luca S...
HRI
2010
ACM
15 years 4 months ago
Gracefully mitigating breakdowns in robotic services
— Robots that operate in the real world will make mistakes. Thus, those who design and build systems will need to understand how best to provide ways for robots to mitigate those...
Min Kyung Lee, Sara Kielser, Jodi Forlizzi, Siddha...