2060 search results - page 10 / 412 » The Composition of Event-B Models |
EMNLP
2011
12 years 10 months ago
2011
B
2007
Springer
14 years 5 months ago
2007
Springer
Following a brief discussion of uniprocessor scheduling in which we argue the case for formal analysis, we describe a distributed Event B model of interrupt driven scheduling. We ļ...
SEAA
2008
IEEE
14 years 5 months ago
2008
IEEE
Current software component models lack compositionality. Most of them also do not have both active and passive components. In this paper, we show how we can deļ¬ne a compositiona...
ADC
2003
Springer
14 years 4 months ago
2003
Springer
To run a smart E-Business or provide efficient Web service, a web services composition model is needed. Web services composition refers to the process of collaborating the heterog...
ECMDAFA
2007
Springer
14 years 5 months ago
2007
Springer
Due to the increased complexity of software development projects more and more systems are described by models. The sheer size makes it impractical to describe these systems by a s...