Sciweavers

2521 search results - page 104 / 505
» Semantic Component Composition
Sort
View
ACL
1990
15 years 3 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 27 days 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...
ICALT
2007
IEEE
15 years 8 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
92
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
110
Voted
COMPOS
1997
Springer
15 years 6 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