2060 search results - page 66 / 412 » The Composition of Event-B Models |
139
click to vote
COLING
2010
14 years 11 months ago
2010
This paper presents a framework for combining semantic relations extracted from text to reveal even more semantics that otherwise would be missed. A set of 26 relations is introdu...
127
Voted
CAISE
2008
Springer
15 years 6 months ago
2008
Springer
In this paper, we present an autonomous and scalable WSMO-based methodology to describe quality of service (QoS) and geographic features of e-services in a peer-to-peer based envir...
125
click to vote
CCE
2004
15 years 3 months ago
2004
It is common that external procedures are incorporated into an equation-oriented model when modeling complex chemical process systems. The so-obtained models are called composite ...
145
Voted
CBSE
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In current software components models, components do not encapsulate control, and are composed by connection mechanisms which pass control from component to component. Co...
160
click to vote
SOSYM
2010
15 years 2 months ago
2010
Model driven development (MDD) of software product lines (SPLs) merges two increasing important paradigms that synthesize programs by transformation. MDD creates programs by transf...