1830 search results - page 163 / 366 » Functional Programs as Linked Data |
114
Voted
IADIS
2004
15 years 5 months ago
2004
Internet has changed many aspects of our society, transforming it in e-society, and is having special importance in business world, Internet has converted business in e-business. ...
169
click to vote
CLUSTER
2005
IEEE
15 years 9 months ago
2005
IEEE
Current operating systems offer basic support for network interface controllers (NICs) supporting remote direct memory access (RDMA). Such support typically consists of a device d...
122
Voted
ACSAC
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper describes two recently developed intrusion detection algorithms, and gives experimental results on their performance. The algorithms detect anomalies in execution audit...
138
click to vote
FOCS
1992
IEEE
15 years 7 months ago
1992
IEEE
We describe dynamic data structures for half-space range reporting and for maintaining the minima of a decomposable function. Using these data structures, we obtain efficient dyna...
134
Voted
ISSTA
2010
ACM
15 years 5 months ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...