942 search results - page 155 / 189 » Application of Model Driven Techniques for Agent-Based Simul... |
112
click to vote
INFOCOM
2007
IEEE
15 years 5 months ago
2007
IEEE
Abstract— Many of sensor network applications require reliable data communication such that data packets can be delivered to the destination without loss. However, existing relia...
COMCOM
2010
14 years 11 months ago
2010
Traditionally, Internet Service Providers (ISPs) have to interconnect with content providers to provide network services to customers. The current business model that connectivity...
CGF
2008
14 years 11 months ago
2008
The powerful yet conceptually simple notions of Finite-Time Lyapunov Exponent (FTLE) and Lagrangian Coherent Structures provide a powerful framework for the analysis and visualiza...
DAC
2003
ACM
15 years 4 months ago
2003
ACM
We present a new technique to examine the trade-off regions of a circuit where its competing performances become “simultaneously optimal”, i.e. Pareto optimal. It is based on ...
120
click to vote
IFIP
2001
Springer
15 years 3 months ago
2001
Springer
— Semi-formal verification based on symbolic simulation offers a good compromise between formal model checking and numerical simulation. The generation of functional test vector...