2060 search results - page 303 / 412 » The Composition of Event-B Models |
141
click to vote
BIRTHDAY
2005
Springer
15 years 10 months ago
2005
Springer
The aim of this paper is to introduce a modelling concept and structuring principle for rule-based systems the semantics of which is not restricted to a sequential behavior, but ca...
129
click to vote
ECOOP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. A software product-line is a family of related programs. Each program is defined by a unique combination of features, where a feature is an increment in program functiona...
115
click to vote
POLICY
2005
Springer
15 years 10 months ago
2005
Springer
Service-oriented computing provides the right means for building flexible systems that allow dynamic configuration and on-the-fly composition. In order to realize this vision, ...
131
click to vote
SG
2005
Springer
15 years 10 months ago
2005
Springer
Modelling, animation and rendering has dominated research computer graphics yielding increasingly rich and realistic virtual worlds. The complexity, richness and quality of the vir...
154
click to vote
TLCA
2005
Springer
15 years 10 months ago
2005
Springer
This work sets the formal bases for building tools that help retrieve classes in object-oriented libraries. In such systems, the user provides a query, formulated as a set of class...