2060 search results - page 171 / 412 » The Composition of Event-B Models |
127
click to vote
EUROMICRO
2005
IEEE
15 years 10 months ago
2005
IEEE
CBSE currently lacks a universally accepted terminology. Existing component models adopt different component definitions and composition operators. We believe that for future res...
124
click to vote
CEAS
2006
Springer
15 years 8 months ago
2006
Springer
We address the problem of suggesting who to add as an additional recipient (i.e. cc, or carbon copy) for an email under composition. We address the problem using graphical models ...
160
click to vote
IJIS
2002
15 years 4 months ago
2002
Dynamics are an important aspect of agent models. Control of dynamics requires specific methods of specification that have their own specific semantics. This paper addresses speci...
136
click to vote
AUSAI
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We present a semantic model of typicality of concept members in description logics that accords well with a binary, globalist cognitive model of class membership and typi...
137
click to vote
WAIM
2005
Springer
15 years 10 months ago
2005
Springer
Species distribution prediction modeling plays a key role in biodiversity research. We propose to publish both species distribution data and modeling components as Web services and...