1859 search results - page 312 / 372 » Sketch-based path design |
149
click to vote
ENTCS
2007
15 years 3 months ago
2007
We present in this article a precise security model for data confidentiality in the framework of ASP (Asynchronous Sequential Processes). ASP is based on active objects, asynchro...
127
click to vote
JSAC
2006
15 years 3 months ago
2006
Within the realm of network security, we interpret the concept of trust as a relation among entities that participate in various protocols. Trust relations are based on evidence cr...
119
Voted
ENTCS
2007
15 years 3 months ago
2007
We define a logic EpCTL for reasoning about the evolution of probabilistic systems. System states correspond to probability distributions over classical states and the system evo...
124
Voted
MAM
2006
15 years 3 months ago
2006
FPGA placement and routing is time consuming, often serving as the major obstacle inhibiting a fast edit-compile-test loop in prototyping and development and the major obstacle pr...
126
Voted
NETWORK
2008
15 years 3 months ago
2008
IPTV is considered to be the next killer application. A key, challenging issue is inhome IPTV distribution with affordable deployment cost and sufficient flexibility, scalability,...