4150 search results - page 189 / 830 » A Practical Approach to Model Extension |
157
click to vote
WINET
2010
15 years 2 months ago
2010
In this paper, we study the performance of the cumulative Automatic Repeat reQuest (ARQ) in IEEE 802.16 networks. An analytical model is developed to investigate some important per...
154
click to vote
IFM
2010
Springer
15 years 2 months ago
2010
Springer
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...
133
click to vote
LOPSTR
2007
Springer
15 years 10 months ago
2007
Springer
Homeomorphic Embedding (HEm) has proven to be very powerful for supervising termination of computations, provided that such computations are performed over a finite signature, i.e...
124
click to vote
ACL
2009
15 years 1 months ago
2009
Most NLP applications work under the assumption that a user input is error-free; thus, word segmentation (WS) for written languages that use word boundary markers (WBMs), such as ...
139
click to vote
SIGCOMM
2004
ACM
15 years 9 months ago
2004
ACM
A detailed understanding of the many facets of the Internet’s topological structure is critical for evaluating the performance of networking protocols, for assessing the effecti...