2060 search results - page 88 / 412 » The Composition of Event-B Models |
113
click to vote
SOCO
2008
Springer
15 years 4 months ago
2008
Springer
Superimposition is a composition technique that has been applied successfully in several areas of software development. In order to unify several languages and tools that rely on s...
133
click to vote
COORDINATION
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Rebeca is an actor-based language which has been successfully applied to model concurrent and distributed systems. The semantics of Rebeca in labeled transition system is...
122
click to vote
IIWAS
2008
15 years 5 months ago
2008
Based on top of Web protocols and XML language, Web services are emerging as a framework to provide applicationto-application interaction. An important challenge is their integrat...
117
click to vote
AUTOMATICA
2007
15 years 4 months ago
2007
Port-based network modeling of physical systems leads to a model class of nonlinear systems known as port-Hamiltonian systems. Port-Hamiltonian systems are defined with respect t...
131
Voted
REFSQ
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. [Context and motivation] Ever-growing systems’ complexity and novel requirements engineering approaches such as reuse or globalization imply that requirements are produ...