361 search results - page 17 / 73 » A compositional approach to statecharts semantics |
ICSE
2009
IEEE-ACM
14 years 1 months ago
2009
IEEE-ACM
Bidirectional model transformation plays an important role in maintaining consistency between two models, and has many potential applications in software development, including mo...
ICWS
2008
IEEE
13 years 10 months ago
2008
IEEE
WSBPEL [2] opens up the possibility of applying a range of formal techniques to the verification of Web service behaviors from two points of view: constraints between activities w...
ACL
2008
13 years 10 months ago
2008
This paper proposes a framework for representing the meaning of phrases and sentences in vector space. Central to our approach is vector composition which we operationalize in ter...
COLING
2000
13 years 10 months ago
2000
We present a class-based approach to building a verb lexicon that makes explicit the close association between syntax and semantics for Levin classes. We have used Lexicalized Tre...
SOCO
2009
Springer
14 years 3 months ago
2009
Springer
Model composition helps designers managing complexities by modeling different system views separately, and later compose them into an integrated model. In the past years, researche...