1407 search results - page 173 / 282 » Using Use Cases in Executable Z |
139
click to vote
ECSA
2010
Springer
15 years 5 months ago
2010
Springer
One of the major advantages of component-based software engineering is the ability for developers to reuse and assemble software entities to build complex software. Whereas decompo...
136
click to vote
DSS
2008
15 years 4 months ago
2008
Outsourcing of complex IT infrastructure to IT service providers has increased substantially during the past years. IT service providers must be able to fulfil their service-qualit...
119
click to vote
PPL
2008
15 years 4 months ago
2008
Parallel functional programs with implicit communication often generate purely hierarchical communication topologies during execution: communication only happens between parent an...
146
click to vote
JMLR
2002
15 years 3 months ago
2002
We construct a framework which allows an algorithm to turn the distributions produced by some boosting algorithms into polynomially smooth distributions (w.r.t. the PAC oracle...
228
click to vote
CC
2009
Springer
16 years 4 months ago
2009
Springer
This paper presents a compiler which produces machine code from functions defined in the logic of a theorem prover, and at the same time proves that the generated code executes the...