5109 search results - page 560 / 1022 » On Learning Limiting Programs |
147
click to vote
ACSAC
2005
IEEE
16 years 16 days ago
2005
IEEE
We present e-NeXSh, a novel security approach that utilises kernel and LIBC support for efficiently defending systems against process-subversion attacks. Such attacks exploit vul...
181
click to vote
ICPP
2005
IEEE
16 years 15 days ago
2005
IEEE
We consider the filter decomposition problem in supporting coarse-grained pipelined parallelism. This form of parallelism is suitable for data-driven applications in scenarios wh...
185
click to vote
PLDI
2005
ACM
16 years 13 days ago
2005
ACM
Today’s module systems do not effectively support information hiding in the presence of shared mutable objects, causing serious problems in the development and evolution of larg...
177
click to vote
IPSN
2005
Springer
16 years 12 days ago
2005
Springer
— Simulation can be an important step in the development of software for wireless sensor networks and has been the subject of intense research in the past decade. While most prev...
199
click to vote
MEMOCODE
2003
IEEE
16 years 5 days ago
2003
IEEE
CSP (Communicating Sequential Processes) is a useful algebraic notation for creating a hierarchical behavioural specification for concurrent systems, due to its formal interproces...