2060 search results - page 331 / 412 » The Composition of Event-B Models |
139
click to vote
AINA
2009
IEEE
15 years 11 months ago
2009
IEEE
— In service-oriented environments, reputation-based service selection is gaining increasing prominence. We propose in this paper a social network-based approach to model and ana...
144
click to vote
VMCAI
2009
Springer
15 years 11 months ago
2009
Springer
Abstract There is an intimate link between program structure and behaviour. Exploiting this link to phrase program correctness problems in terms of the structural properties of a p...
133
Voted
EUROMICRO
2009
IEEE
15 years 11 months ago
2009
IEEE
—Success in the software product business requires timely release of new products and upgrades with proper quality and the right features. For this, a systematic approach for man...
130
click to vote
COSIT
2009
Springer
15 years 11 months ago
2009
Springer
Formal models of geographic space should support reasoning about its static and dynamic properties, its objects, their behaviors, and the relationships between them. Image schemas,...
118
Voted
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
The conventional octree construction method is implemented iteratively at consecutive subdivision levels. The resultant octree models at different subdivision levels contain quite...