12981 search results - page 570 / 2597 » Model Checking (Abstract) |
136
Voted
CODAS
1996
15 years 8 months ago
1996
ntic abstractions classification, aggregation and generalization are extremely useful for modeling complex situations containing time-independent events. This paper shows that the...
175
click to vote
CAISE
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The model management operator ModelGen translates a schema expressed in one modelling language into an equivalent schema expressed in another modelling language, and in a...
189
click to vote
VTC
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— An adaptive handover algorithm for wireless comn systems is addressed in this extended abstract. Moving from the Generalized Extended Least Square handover algorithm in...
306
click to vote
POPL
2008
ACM
16 years 7 months ago
2008
ACM
alyses are concerned with precise abstractions of the heap to capture detailed structural properties. To do so, they need to build and decompose summaries of disjoint memory regio...
200
Voted
PRIS
2008
15 years 8 months ago
2008
Abstract. In statistical machine translation, phrase-based translation (PBT) models lead to a significantly better translation quality over single-word-based (SWB) models. PBT mode...