2060 search results - page 180 / 412 » The Composition of Event-B Models |
145
click to vote
CBSE
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Workflow systems provide support for combining components to achieve a particular outcome. Various approaches from software engineering have been utilized within such sys...
147
click to vote
NIPS
2000
15 years 6 months ago
2000
We describe a unified framework for the understanding of structure representation in primate vision. A model derived from this framework is shown to be effectively systematic in t...
142
click to vote
ATVA
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We define a probabilistic contract framework for the construction of component-based embedded systems, based on the theory of Interactive Markov Chains. A contract specif...
136
click to vote
ENTCS
2010
15 years 4 months ago
2010
Interface automata are a model that allows for the representation of stateful interfaces. In this paper we introduce a variant of interface automata, which we call interface struc...
157
click to vote
ICWE
2010
Springer
15 years 3 months ago
2010
Springer
The Web of Things is an emerging scenario in which objects are connected to Internet and can answer to HTTP queries. To date, new applications in this field are mainly produced by ...