2374 search results - page 441 / 475 » Automatic Generation of Model Translations |
121
click to vote
ICNP
2006
IEEE
15 years 8 months ago
2006
IEEE
— This paper reports on an experiment in network protocol design: we use novel rigorous techniques in the design process of a new protocol, in a close collaboration between syste...
ISSTA
2006
ACM
15 years 8 months ago
2006
ACM
Finite-state verification techniques are often hampered by the stateexplosion problem. One proposed approach for addressing this problem is assume-guarantee reasoning. Using rece...
133
click to vote
MIR
2006
ACM
15 years 8 months ago
2006
ACM
Scalable approaches to video content classification are limited by an inability to automatically generate representations of events ode abstract temporal structure. This paper pre...
119
click to vote
DATE
2005
IEEE
15 years 7 months ago
2005
IEEE
With the scaling of technology and higher requirements on performance and functionality, power dissipation is becoming one of the major design considerations in the development of...
113
Voted
ICDM
2005
IEEE
15 years 7 months ago
2005
IEEE
Online auction Web sites are fast changing, highly dynamic, and complex as they involve tremendous sellers and potential buyers, as well as a huge amount of items listed for biddi...