2558 search results - page 122 / 512 » Model Composition Contracts |
144
click to vote
FMSD
2008
15 years 4 months ago
2008
Abstract Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically base...
119
Voted
CCGRID
2008
IEEE
15 years 10 months ago
2008
IEEE
—We formulate the service composition problem as a multi-objective stochastic program which simultaneously optimizes the following quality of service (QoS) parameters: workflow ...
129
click to vote
PERVASIVE
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Emerging pervasive computing technologies present many opportunities to aid ad-hoc collocated group collaboration. To better understand ad-hoc collaboration using pervasi...
128
click to vote
SLP
1997
15 years 5 months ago
1997
Compositionality of programsis an important concern in knowledge representation and software development. In the context of Logic Programming, up till now, the issue has mostly be...
147
click to vote
ICSOC
2009
Springer
15 years 1 months ago
2009
Springer
Service-oriented computing provides an evolving paradigm for flexible and scalable applications of open systems. Web services and their automatic composition are in the mainstream...