Sciweavers

671 search results - page 10 / 135
» Semantics Preserving Model Composition
Sort
View
CONCUR
1994
Springer
15 years 10 months ago
Weak Sequential Composition in Process Algebras
Abstract. In this paper we study a special operator for sequential composition, which is de ned relative to a dependency relation over the actions of a given system. The idea is th...
Arend Rensink, Heike Wehrheim
JLP
2006
126views more  JLP 2006»
15 years 6 months ago
Compositional modeling and refinement for hierarchical hybrid systems
In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language ...
Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky
COLING
2010
15 years 1 months ago
A Structured Vector Space Model for Hidden Attribute Meaning in Adjective-Noun Phrases
We present an approach to model hidden attributes in the compositional semantics of adjective-noun phrases in a distributional model. For the representation of adjective meanings,...
Matthias Hartung, Anette Frank
158
Voted
APSEC
2006
IEEE
16 years 12 days ago
Security-Oriented Service Composition and Evolution
This paper introduces a framework for security-oriented software service composition and evolution. Key building blocks of the framework are a semantic model for specifying the se...
Jun Han, Khaled M. Khan
172
Voted
ICDE
2007
IEEE
111views Database» more  ICDE 2007»
16 years 20 days ago
Security Conscious Web Service Composition with Semantic Web Support
A Web service is a software system designed to support interoperable application-to-application interactions over the Internet. Recently, there has been a growing interest in Web ...
Barbara Carminati, Elena Ferrari, Ryan Bishop, Pat...