1448 search results - page 71 / 290 » Restricted Stack Implementations |
SPIN
2007
Springer
14 years 1 months ago
2007
Springer
Boolean programs are frequently used to model abstractions of software programs. They have the advantage that reachability properties are decidable, despite the fact that their sta...
GLOBECOM
2006
IEEE
14 years 1 months ago
2006
IEEE
— This paper introduces a new idea for implementing playback adaptation algorithms suitable for video streaming applications in wireless IP networks. The proposed algorithm depen...
INFOCOM
2006
IEEE
14 years 1 months ago
2006
IEEE
— Striping is a resource aggregation technique that can improve application performance for a multihomed host by utilizing multiple interfaces. In this position paper, we argue i...
INFOCOM
2006
IEEE
14 years 1 months ago
2006
IEEE
— The General Internet Signaling Transport (GIST) protocol is currently being developed as the base protocol component in the IETF Next Steps In Signaling (NSIS) protocol stack t...
IPPS
2006
IEEE
14 years 1 months ago
2006
IEEE
Malicious network traffic, including widespread worm activity, is a growing threat to Internet-connected networks and hosts. In this paper, we propose a network intrusion detectio...