10159 search results - page 1770 / 2032 » System Design Validation Using Formal Models |
201
click to vote
GLOBECOM
2007
IEEE
16 years 1 months ago
2007
IEEE
—In this paper, we propose a novel protocol called VC-MAC that utilizes the concept of cooperative communication tailored for vehicular networks, especially for gateway downloadi...
158
click to vote
EUROPAR
1998
Springer
15 years 11 months ago
1998
Springer
Database replication protocols have historically been built on top of distributed database systems, and have consequently been designed and implemented using distributed transacti...
197
click to vote
FGR
2006
IEEE
15 years 10 months ago
2006
IEEE
Automatic extraction of facial feature deformations (either due to identity change or expression) is a challenging task and could be the base of a facial expression interpretation...
179
click to vote
LISA
2004
15 years 8 months ago
2004
Analysis of network traffic is becoming increasingly important, not just for determining network characteristics and anticipating requirements, but also for security analysis. Sev...
198
click to vote
GRAPHICSINTERFACE
1997
15 years 8 months ago
1997
We present a system for incorporating multiple level of detail (LOD) models of 3D objects within a single hierarchical data structure. This system was designed for a scientific vi...