Sciweavers

2521 search results - page 305 / 505
» Semantic Component Composition
Sort
View
105
Voted
PLDI
2005
ACM
15 years 6 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
216
Voted
ICDE
2008
IEEE
152views Database» more  ICDE 2008»
16 years 2 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...
112
Voted
MM
2010
ACM
208views Multimedia» more  MM 2010»
15 years 1 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...
119
Voted
FMCO
2007
Springer
118views Formal Methods» more  FMCO 2007»
15 years 7 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
104
Voted
ICLP
2007
Springer
15 years 7 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...