77016 search results - page 555 / 15404 » Modelling |
192
click to vote
TAICPART
2006
IEEE
16 years 1 months ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
203
click to vote
ACMICEC
2006
ACM
16 years 1 months ago
2006
ACM
As third party logistic services become popular, the role of software agents increases in importance in terms of the logistics scheduling of buyers and sellers. To support many mo...
188
click to vote
ACMSE
2006
ACM
16 years 1 months ago
2006
ACM
: There is a growing interest in deployment and evaluation of routing protocols for Vehicular Ad-Hoc Wireless Networks (VANETs) in urban contexts. The mobility model of nodes is on...
161
click to vote
AFRIGRAPH
2006
ACM
16 years 1 months ago
2006
ACM
In this paper, we describe a novel approach to 3D shape modelling, targeting at the reconstruction and repair of digitised models – a task that is frequently encountered in part...
179
click to vote
SIGCOMM
2006
ACM
16 years 1 months ago
2006
ACM
We present practical models for the physical layer behaviors of packet reception and carrier sense with interference in static wireless networks. These models use measurements of ...