2060 search results - page 30 / 412 » The Composition of Event-B Models |
ACL
2008
15 years 5 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...
145
click to vote
IJSEKE
2002
15 years 3 months ago
2002
In current literature few detailed process models for Requirements Engineering are presented: usually high-level activities are distinguished, without a more precise specification...
135
click to vote
FIDJI
2003
Springer
15 years 9 months ago
2003
Springer
This paper introduces a new programming model for distributed systems, distributed composite objects (DCO), to meet efficient implementation, transparency, and performance demands ...
