1304 search results - page 256 / 261 » RTOS Modeling for System Level Design |
225
click to vote
MOBICOM
2004
ACM
16 years 2 days ago
2004
ACM
We demonstrate a system built using probabilistic techniques that allows for remarkably accurate localization across our entire office building using nothing more than the built-...
184
Voted
POPL
2010
ACM
16 years 4 months ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
176
click to vote
TRIDENTCOM
2006
IEEE
16 years 20 days ago
2006
IEEE
—In this paper, we investigate the applicability of simulation and emulation for denial of service (DoS) attack experimentation. As a case study, we consider low-rate TCP-targete...
214
Voted
MINENET
2006
ACM
16 years 18 days ago
2006
ACM
Progress in networking research depends crucially on applying novel analysis tools to real-world traces of network activity. This often conflicts with privacy and security requir...
196
Voted
ESCIENCE
2005
IEEE
16 years 8 days ago
2005
IEEE
GridXSLT is an implementation of the XSLT programming language designed for distributed web service orchestration. Based on the functional semantics of the language, it compiles p...