2060 search results - page 160 / 412 » The Composition of Event-B Models |
134
Voted
KI
2008
Springer
15 years 4 months ago
2008
Springer
In this paper we suggest a typed compositional semantics for nominal compounds of the form [Adj Noun] that models adjectives as higher-order polymorphic functions, and where types...
126
Voted
CORR
2004
Springer
15 years 4 months ago
2004
Springer
In this paper we present ideas and architectural principles upon which we are basing the development of a distributed, open-source infrastructure that, in turn, will support the ex...
168
click to vote
BLISS
2007
IEEE
15 years 11 months ago
2007
IEEE
Witnesses and victims of serious crime are often required to construct a facial composite, a visual likeness of a suspect’s face. The traditional method is for them to select in...
146
click to vote
DATE
2008
IEEE
15 years 11 months ago
2008
IEEE
Compositional Scheduling Analysis couples local scheduling analysis via event streams. While local analysis has successfully been extended to include hierarchical scheduling strat...
136
click to vote
ADBIS
2005
Springer
15 years 10 months ago
2005
Springer
The current period of IT development is characterized by an explosive growth of diverse information representation languages. Applying integration and composition of heterogeneous ...