Sciweavers

4665 search results - page 306 / 933
» Bioinformatics Web Services
Sort
View
FMCO
2003
Springer
121views Formal Methods» more  FMCO 2003»
15 years 12 months ago
TulaFale: A Security Tool for Web Services
Web services security specifications are typically expressed as a mixture of XML schemas, example messages, and narrative explanations. We propose a new specification language fo...
Karthikeyan Bhargavan, Cédric Fournet, Andr...
ESOP
2006
Springer
15 years 10 months ago
A Basic Contract Language for Web Services
We design a schema language that includes channel schemas with capabilities of input, output, and input-output. These schemas may describe documents containing references to operat...
Samuele Carpineti, Cosimo Laneve
CIMCA
2008
IEEE
15 years 8 months ago
Web Services Composition: Mashups Driven Orchestration Definition
On the one hand, mashups are a new kind of web application built upon the composition of different resources in a user-friendly way. Tools based on such concepts focus on graphic ...
Sébastien Mosser, Franck Chauvel, Mireille ...
CMG
2003
15 years 8 months ago
Men are From Mars, Women Are From Venus, Web Services are From Betelgeuse
Having trouble making robust legacy applications talk to hot new Web applications? Trying to manage business transactions with your partners when everyone is running their proprie...
Denise P. Kalm, Annie W. Shum
WSC
2004
15 years 8 months ago
Joint Modeling and Analysis Using XMSF Web Services
This paper describes the creation of a new analytical modeling capability by bringing together the Naval Simulation System (NSS) for sea strike and COMBATXXI for littoral and land...
Arnold H. Buss, John Ruck