2060 search results - page 155 / 412 » The Composition of Event-B Models |
112
click to vote
SAC
2004
ACM
15 years 10 months ago
2004
ACM
This work presents an object-oriented calculus based on higher-order mixin construction via mixin composition, where some software engineering requirements are modeled in a formal ...
169
click to vote
ATVA
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
142
click to vote
CONCUR
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Delaying the synchronization of actions may reveal some hidden behavior that would not happen if the synchronization met the specified deadlines. This precise phenomenon...
145
click to vote
SAM
2004
15 years 6 months ago
2004
Discovering faults in requirements specifications for distributed reactive systems is a challenging problem since many issues that need to be uncovered are a result of subtle compo...
118
click to vote
CONCURRENCY
2010
15 years 4 months ago
2010
Applications require the composition of resources to execute in a grid computing environment. The Grid Service Providers (GSPs), the owners of the computational resources, must for...