2060 search results - page 177 / 412 » The Composition of Event-B Models |
138
click to vote
CONCURRENCY
2006
15 years 4 months ago
2006
e a set of very distinctive abstractions that result in significant modifications of the basic workflow model as outlined in pre-existing workflow model, see [2] for example. In pa...
136
click to vote
ICCV
2001
IEEE
16 years 6 months ago
2001
IEEE
General SFM methods give poor results for images captured by constrained motions such as planar motion of concentric mosaics (CM). In this paper, we propose new SFM algorithms for...
FROCOS
2005
Springer
15 years 10 months ago
2005
Springer
Interface formalisms are able to model both the input requirements and the output behavior of system components; they support both bottom-up component-based design, and top-down de...
183
click to vote
BIRTHDAY
2004
Springer
15 years 10 months ago
2004
Springer
CSP was originally introduced as a parallel programming language in which sequential imperative processes execute concurrently and communicate by synchronized input and output. The...
137
click to vote
AOSD
2010
ACM
15 years 9 months ago
2010
ACM
Aspect-oriented programming languages modularize crosscutting concerns by separating the concerns from a base program in aspects. What they do not modularize well is the code need...