Sciweavers

2521 search results - page 305 / 505
» Semantic Component Composition
Sort
View
PLDI
2005
ACM
15 years 9 months ago
Composing security policies with polymer
We introduce a language and system that supports definition and composition of complex run-time security policies for Java applications. Our policies are comprised of two sorts o...
Lujo Bauer, Jay Ligatti, David Walker
ICDE
2008
IEEE
152views Database» more  ICDE 2008»
16 years 4 months ago
Muse: Mapping Understanding and deSign by Example
A fundamental problem in information integration is that of designing the relationships, called schema mappings, between two schemas. The specification of a semantically correct sc...
Bogdan Alexe, Laura Chiticariu, Renée J. Mi...
MM
2010
ACM
208views Multimedia» more  MM 2010»
15 years 3 months ago
A new approach to cross-modal multimedia retrieval
The problem of joint modeling the text and image components of multimedia documents is studied. The text component is represented as a sample from a hidden topic model, learned wi...
Nikhil Rasiwasia, Jose Costa Pereira, Emanuele Cov...
137
Voted
FMCO
2007
Springer
118views Formal Methods» more  FMCO 2007»
15 years 9 months ago
Coordination: Reo, Nets, and Logic
This article considers the coordination language Reo, a Petri net variant called zero-safe nets, and intuitionistic temporal linear logic (ITLL). The first part examines the seman...
Dave Clarke
126
Voted
ICLP
2007
Springer
15 years 9 months ago
Declarative Diagnosis of Temporal Concurrent Constraint Programs
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
Moreno Falaschi, Carlos Olarte, Catuscia Palamides...