12981 search results - page 390 / 2597 » Model Checking (Abstract) |
152
click to vote
OOPSLA
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents the design of G, a new language specifically created for generic programming. We review and identify important language features of C++ and Haskell in light o...
124
click to vote
TSD
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. After the years of hesitation the conservative Slovak telecommunication market seems to become conscious of the need of voice driven services. In the last year, all the t...
137
click to vote
ECOOP
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. An important application of unique object references is safe and efficient message passing in concurrent object-oriented programming. However, to prevent the ill effects...
139
click to vote
SBMF
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. In the verification of concurrent systems involving probabilities, the aim is to find out the maximum/minimum probability that a given event occurs (examples of such ev...
136
click to vote
SAFECOMP
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. To ensure the consistency of database subsystems involved in communication systems (e.g., telephone systems), appropriate scheduled maintenance policies are necessary. Au...