2060 search results - page 366 / 412 » The Composition of Event-B Models |
125
click to vote
ECMDAFA
2005
Springer
15 years 10 months ago
2005
Springer
As the number of available Web services increases there is a growing demand to realize complex business processes by combining and reusing available Web services. The reuse and com...
133
click to vote
FOSSACS
2005
Springer
15 years 10 months ago
2005
Springer
Modal logic has a good claim to being the logic of choice for describing the reactive behaviour of systems modeled as coalgebras. Logics with modal operators obtained from so-calle...
138
click to vote
IBPRIA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Some recent works have addressed the object recognition problem by representing objects as the composition of independent image parts, where each part is modeled with “...
108
click to vote
LSSC
2005
Springer
15 years 10 months ago
2005
Springer
We propose a new class of Discontinuous Galerkin (DG) methods based on variational multiscale ideas. Our approach begins with an additive decomposition of the discontinuous finite...
170
click to vote
MIDDLEWARE
2005
Springer
15 years 10 months ago
2005
Springer
Service-oriented computing paradigm encourages the use of dynamic binding of application requirements to the resources needed to fulfill application tasks. Especially in pervasive...