Sciweavers

1893 search results - page 9 / 379
» Computational composites
Sort
View
ITCC
2005
IEEE
15 years 3 months ago
An Ontology-enabled Service Oriented Architecture for Pervasive Computing
In this paper, we propose a new Ontology-enabled Service Oriented Architecture (OSOA) for Pervasive Computing that is built on Web Services architecture, and incorporates Universa...
Qun Ni, Morris Sloman
CVPR
2007
IEEE
15 years 11 months ago
Learning the Compositional Nature of Visual Objects
The compositional nature of visual objects significantly limits their representation complexity and renders learning of structured object models tractable. Adopting this modeling ...
Björn Ommer, Joachim M. Buhmann
CSFW
2006
IEEE
15 years 3 months ago
Computationally Sound Compositional Logic for Key Exchange Protocols
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...
Anupam Datta, Ante Derek, John C. Mitchell, Bogdan...
ICTAI
2008
IEEE
15 years 4 months ago
Computational Complexity of Web Service Composition Based on Behavioral Descriptions
The Web Service Composition (WSC) problem on behavioral descriptions deals with the automatic construction of a coordinator web service to control a set of web services to reach t...
Hyunyoung Kil, Wonhong Nam, Dongwon Lee
IPPS
2007
IEEE
15 years 4 months ago
Automatic Performance Diagnosis of Parallel Computations with Compositional Models
Performance tuning involves a diagnostic process to locate and explain sources of program inefficiency. A performance diagnosis system can leverage knowledge of performance cause...
Li Li, Allen D. Malony