1288 search results - page 174 / 258 » Integrating formal models into the programming languages cou... |
156
click to vote
FORMATS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Quantitative verification techniques are able to establish system properties such as "the probability of an airbag failing to deploy on demand" or "the exp...
180
click to vote
ENTCS
2006
15 years 6 months ago
2006
Formal notations for system performance modeling need to be equipped with suitable notations for specifying performance measures. These companion notations have been traditionally...
147
click to vote
ECOOP
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. This paper presents a mixin based class and method combination mechanism with block structure propagation. Traditionally, mixins can be composed to form new classes, poss...
172
click to vote
CGA
2008
15 years 6 months ago
2008
We present the design, implementation, and initial results of a system for remote lecture attendance based on extending on-campus classrooms to accommodate remotely located studen...
169
click to vote
ICALP
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. We define and study two versions of the bipartite matching problem in the framework of two-stage stochastic optimization with recourse. In one version the uncertainty is...