85 search results - page 3 / 17 » iWarp protocol kernel space software implementation |
ASWEC
2004
IEEE
13 years 9 months ago
2004
IEEE
Network protocol implementations are susceptible to problems caused by their lack of ability to handle invalid inputs. We present ASPIRE: Automated Systematic Protocol Implementat...
VMCAI
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. This paper presents history-dependent scheduling, a new technique for reducing the search space in the verification of cryptographic protocols. This technique allows the...
TSE
1998
13 years 5 months ago
1998
—We investigate the issue of designing a kernel programming language for mobile computing and describe KLAIM, a language that supports a programming paradigm where processes, lik...
ISI
2007
Springer
13 years 12 months ago
2007
Springer
— Surveillance is an important task for guaranteeing the security of individuals. Being able to intelligently monitor the activity in given spaces is essential to achieve such su...
RCIS
2010
13 years 3 months ago
2010
Every interactive system has a functional part and an interactive part. However the software engineering and the human-computer-interaction communities work separately in terms of ...