2060 search results - page 39 / 412 » The Composition of Event-B Models |
121
Voted
ICWS
2008
IEEE
15 years 5 months ago
2008
IEEE
In this paper, we have studied a common Web service composition problem, the syntactic matching problem, where the output parameters of a Web service can be used as the input para...
130
Voted
QSIC
2007
IEEE
15 years 10 months ago
2007
IEEE
Security patterns capture best practice on secure software design and development. They document typical solutions to security problems. To ensure security, large software system ...
142
Voted
RTSS
2003
IEEE
15 years 9 months ago
2003
IEEE
We address the problem of providing compositional hard real-time guarantees in a hierarchy of schedulers. We first propose a resource model to characterize a periodic resource al...
113
Voted
ADC
2003
Springer
15 years 9 months ago
2003
Springer
The Internet is going through several major changes. It has become a vehicle of Web services rather than just a repository of information. Many organizations are putting their cor...
118
Voted
ER
2010
Springer
15 years 2 months ago
2010
Springer
Efficient and competitive provision of service compositions depends both on the composition structure, and on planning and management of computational resources necessary for prov...