2060 search results - page 325 / 412 » The Composition of Event-B Models |
145
click to vote
SEW
2006
IEEE
15 years 10 months ago
2006
IEEE
It is widely held that programming language extensions that support separation of concerns and that are also integrative benefit development, maintenance and reuse of software de...
129
click to vote
ESWS
2005
Springer
15 years 10 months ago
2005
Springer
When information services are organized to provide some composed functionality, their interactions can be formally represented as workflows. Traditionally, workflows are executed...
160
click to vote
OTM
2004
Springer
15 years 10 months ago
2004
Springer
Peer-to-peer networks and grids offer promising paradigms for developing efficient distributed systems and applications. Event-based middleware is becoming a core architectural el...
163
click to vote
SEMWEB
2004
Springer
15 years 10 months ago
2004
Springer
A central requirement for achieving the vision of run-time discovery and dynamic composition of services is the provision of appropriate descriptions of the operation of a service,...
118
Voted
ECCV
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We present a new parsing framework for the line-based geometric analysis of a single image coming from a man-made environment. This parsing framework models the scene as ...