Sciweavers

2956 search results - page 288 / 592
» Asim: A Performance Model Framework
Sort
View
RULEML
2010
Springer
15 years 4 months ago
A Contract Agreement Policy-Based Workflow Methodology for Agents Interacting in the Semantic Web
The Semantic Web aims at automating Web content understanding and user request satisfaction. Intelligent agents assist towards this by performing complex actions on behalf of their...
Kalliopi Kravari, Grammati-Eirini Kastori, Nick Ba...
FM
2009
Springer
154views Formal Methods» more  FM 2009»
15 years 4 months ago
Specification and Verification of Web Applications in Rewriting Logic
Abstract. This paper presents a Rewriting Logic framework that formalizes the interactions between Web servers and Web browsers through icating protocol abstracting HTTP. The propo...
María Alpuente, Demis Ballis, Daniel Romero
ICCV
1999
IEEE
16 years 8 months ago
A Bidirectional Matching Algorithm for Deformable Pattern Detection with Application to Handwritten Word Retrieval
A Bayesian framework for deformable pattern classification has been proposed in [1] with promising results for isolated handwritten character recognition. Its performance, however...
Kwok-Wai Cheung, Dit-Yan Yeung, Roland T. Chin
ICPP
2006
IEEE
16 years 24 days ago
Data-Flow Analysis for MPI Programs
Message passing via MPI is widely used in singleprogram, multiple-data (SPMD) parallel programs. Existing data-flow frameworks do not model the semantics of message-passing SPMD ...
Michelle Mills Strout, Barbara Kreaseck, Paul D. H...
MICCAI
2008
Springer
16 years 8 months ago
Wall Motion Classification of Stress Echocardiography Based on Combined Rest-and-Stress Data
In this paper, we present a new framework that performs automated local wall motion analysis based on the combined information derived from a rest and stress sequence (a full stres...
Sarina Mansor, Nicholas P. Hughes, J. Alison Nob...