1362 search results - page 271 / 273 » Model Checking Large Network Protocol Implementations |
WCRE
2003
IEEE
15 years 2 months ago
2003
IEEE
Many modern software systems are often large, distributed, written in more than one programming language, and developed using pre-built components. This paper presents the results...
113
Voted
TVLSI
2010
14 years 4 months ago
2010
This paper proposes a low-power high-throughput digital signal processor (DSP) for baseband processing in wireless terminals. It builds on our earlier architecture--Signal processi...
72
Voted
ACSAC
2006
IEEE
15 years 3 months ago
2006
IEEE
Comparing the system call sequence of a network application against a sandboxing policy is a popular approach to detecting control-hijacking attack, in which the attacker exploits...
126
Voted
KIVS
1999
Springer
15 years 1 months ago
1999
Springer
Abstract. After introducing the concept of mobile agents and potential application domains, we motivate why mobile agent technology is an interesting concept for large Internet-bas...
TPDS
2008
14 years 9 months ago
2008
Abstract-- With increasing richness in features such as personalization of content, web applications are becoming more complex and hence compute intensive. Traditional approaches t...