128 search results - page 19 / 26 » Forward Analysis of Depth-Bounded Processes |
GLOBECOM
2007
IEEE
14 years 1 months ago
2007
IEEE
—Distributed denial-of-service attacks (DDoS) pose an immense threat to the Internet. The most studied solution is to let routers probabilistically mark packets with partial path...
HICSS
2007
IEEE
14 years 1 months ago
2007
IEEE
— This paper demonstrates how two different sets of powerful domain specific language features can be specified and deployed as composable language extensions. These extensions...
SSDBM
2006
IEEE
14 years 22 days ago
2006
IEEE
Many applicationsstore data items for a pre-determined, finite length of time. Examples include slidingwindows over on-line data streams, where old data are dropped as the window...
ISCA
2005
IEEE
14 years 9 days ago
2005
IEEE
This paper presents a hardware-based dynamic optimizer that continuously optimizes an application’s instruction stream. In continuous optimization, dataflow optimizations are p...
WINE
2005
Springer
14 years 5 days ago
2005
Springer
Reserve price auctions are one of hot research topics in the traditional auction theory. Here we study the starting price in an online auction, counterpart of the public reserve pr...