1341 search results - page 151 / 269 » Periods in Extensions of Words |
97
Voted
CN
2006
15 years 22 days ago
2006
Previous multicast research often makes commonly accepted but unverified assumptions on network topologies and group member distribution in simulation studies. In this paper, we p...
110
Voted
COR
2006
15 years 22 days ago
2006
Arc Routing Problems on mixed graphs have been modelled in the literature either using just one variable per edge or associating to each edge two variables, each one representing ...
CVGIP
2006
15 years 21 days ago
2006
We review an algorithm for the finite element simulation of elastoplastic solids which is capable of robustly and efficiently handling arbitrarily large deformation. In fact, the ...
105
click to vote
ENTCS
2006
15 years 21 days ago
2006
The application of formal methods to security protocol analysis has been extensively researched during the last 25 years. Several formalisms and (semi-)automatic tools for the ver...
76
Voted
ENTCS
2006
15 years 21 days ago
2006
This paper defines action-labelled quantitative transition systems as a general framework for combining qualitative and quantitative analysis. We define state-metrics as a natural...