2200 search results - page 303 / 440 » Hop Integrity in Computer Networks |
126
Voted
DATE
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper focuses on inductive invariants in unbounded model checking to improve efficiency and scalability. First of all, it introduces optimized techniques to speedup the comp...
120
Voted
CASSIS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This short paper introduces the issues and challenges of next generation Java-based smart card platforms. Betting on a continuous evolution toward open computing devices,...
144
Voted
ICCSA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Many problems in computer science are related to scheduling problems or embedding problems. Therefore it is an interesting topic to find efficient (approximation) algori...
109
Voted
MDM
2004
Springer
15 years 9 months ago
2004
Springer
This paper provides detail on two key components of the Houdini framework under development at Bell Labs, that enable context-aware and privacy-conscious user data sharing appropr...
113
Voted
CLUSTER
2000
IEEE
15 years 8 months ago
2000
IEEE
-In this paper, we present an integration of SCI (Scalable Coherent Interface[5]) into the TCP/IP protocol stack of Linux for high bandwidth low latency communication within two or...