4044 search results - page 623 / 809 » The Evolution of a Distributed Operating System |
191
Voted
CLUSTER
2005
IEEE
16 years 20 days ago
2005
IEEE
Firewalls/NATs have brought significant connectivity problems along with their benefits, causing many applications to break or become inefficient. Due to its bi-directional commun...
218
click to vote
HOTI
2005
IEEE
16 years 19 days ago
2005
IEEE
Intrusion rule processing in reconfigurable hardware enables intrusion detection and prevention services to run at multi Gigabit/second rates. High-level intrusion rules mapped d...
179
Voted
CONCUR
2004
Springer
16 years 13 days ago
2004
Springer
We define a language whose type system, incorporating session types, allows complex protocols to be specified by types and verified by static typechecking. A session type, asso...
189
Voted
ESOP
2004
Springer
16 years 12 days ago
2004
Springer
Abstract. We present PacLang: an imperative, concurrent, linearlytyped language designed for expressing packet processing applications. PacLang’s linear type system ensures that ...
177
click to vote
MIDDLEWARE
2004
Springer
16 years 11 days ago
2004
Springer
In this paper, we survey three generation of reflective middleware research carried out at Lancaster University, present experiences gained from this research, and highlight a num...