Sciweavers

1034 search results - page 71 / 207
» Formalization of Web Design Patterns Using Ontologies
Sort
View
ISAS
2005
Springer
14 years 1 months ago
Contract-Based Web Service Composition Framework with Correctness Guarantees
Abstract. We present formal and practical foundations for Web service composition framework with composition correctness guarantees. We introduce contractual composition model base...
Nikola Milanovic
IAT
2006
IEEE
14 years 1 months ago
On the Design of a Web-Based Decision Support System for Brain Tumour Diagnosis Using Distributed Agents
This paper introduces HealthAgents, an EC-funded research project to improve the classification of brain tumours through multi-agent decision support over a distributed network o...
Carles Arús, Bernardo Celda, Srinandan Dasm...
ECWEB
2005
Springer
102views ECommerce» more  ECWEB 2005»
14 years 1 months ago
Improving Web Design Methods with Architecture Modeling
Many approaches have been developed for modeling the functional aspects of Web applications, but there is a lack of a modeling language for their architectural concerns. This paper...
Santiago Meliá, Jaime Gómez, Nora Ko...
BMCBI
2010
105views more  BMCBI 2010»
13 years 7 months ago
The Neural/Immune Gene Ontology: clipping the Gene Ontology for neurological and immunological systems
Background: The Gene Ontology (GO) is used to describe genes and gene products from many organisms. When used for functional annotation of microarray data, GO is often slimmed by ...
Nophar Geifman, Alon Monsonego, Eitan Rubin
CSFW
2012
IEEE
11 years 10 months ago
Discovering Concrete Attacks on Website Authorization by Formal Analysis
—Social sign-on and social sharing are becoming an ever more popular feature of web applications. This success is largely due to the APIs and support offered by prominent social ...
Chetan Bansal, Karthikeyan Bhargavan, Sergio Maffe...