1861 search results - page 151 / 373 » Performance modeling of component assemblies |
117
click to vote
GI
2009
Springer
15 years 7 months ago
2009
Springer
: We present an extension of the programming-by-contract (PBC) paradigm to a concurrent and distributed environment. Classical PBC is characterized by absolute conformance of code ...
109
click to vote
ACL
2010
15 years 1 months ago
2010
Several attempts have been made to learn phrase translation probabilities for phrasebased statistical machine translation that go beyond pure counting of phrases in word-aligned t...
139
click to vote
HASE
1999
IEEE
15 years 7 months ago
1999
IEEE
The paper introduces a method to model embedded dependability-critical systems as AND-composition of Guarded Statecharts which are special UMLstatecharts. With Guarded Statecharts...
158
click to vote
SPIN
1999
Springer
15 years 7 months ago
1999
Springer
A variety of assume-guarantee model checking approaches have been proposed in the literature. In this paper, we describe several possible implementations of those approaches for ch...
120
click to vote
IJAHUC
2010
15 years 1 months ago
2010
: Mobility modelling is an essential component of wireless and mobile networking research. Our proposed Agenda Driven Mobility Model takes into consideration a person’s social ac...