Sciweavers

2521 search results - page 104 / 505
» Semantic Component Composition
Sort
View
ACL
1990
15 years 4 months ago
A Simplified Theory of Tense Representations and Constraints on their Composition
This paper proposes a set of representations for tenses and a set of constraints on how they can be combined in adjunct clauses. The semantics we propose explains the possible mea...
Michael R. Brent
ISSRE
2010
IEEE
15 years 1 months ago
Automata-Based Verification of Security Requirements of Composite Web Services
— With the increasing reliance of complex real-world applications on composite web services assembled from independently developed component services, there is a growing need for...
Hongyu Sun, Samik Basu, Vasant Honavar, Robyn R. L...
90
Voted
ICALT
2007
IEEE
15 years 9 months ago
Semantic processing for text mapping onto information space
This paper reports on an approach which maps documents onto an ontology-based information space in order to provide support for machine-mediated communication. First, a composite ...
Weiqiang Ou, Adel Elsayed
98
Voted
CONCUR
2009
Springer
15 years 9 months ago
Compositional Control Synthesis for Partially Observable Systems
We present a compositional method for deriving control constraints on a network of interconnected, partially observable and partially controllable plant components. The constraint ...
Wouter Kuijper, Jaco van de Pol
115
Voted
COMPOS
1997
Springer
15 years 7 months ago
Compositional Refinement of Interactive Systems Modelled by Relations
We introduce a mathematical model of components that can be used for the description of both hardware and software units forming distributed interactive systems. As part of a distr...
Manfred Broy