3316 search results - page 144 / 664 » Mining Software Engineering Data |
COMPSAC
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—While log data are being increasingly used as digital evidence in judicial disputes, the extent to which existing secure logging protocols used to collect log data fulï¬...
128
click to vote
CODES
2000
IEEE
15 years 6 months ago
2000
IEEE
In this paper we present an approach to performance estimation for hard real-time systems. We consider architectures consisting of multiple processors. The scheduling policy is ba...
UIST
2000
ACM
15 years 6 months ago
2000
ACM
We present a new kind of marking menu that was developed for use with a pen device on display surfaces such as large, high resolution, wall-mounted displays. It integrates capabil...
AMAST
2006
Springer
15 years 5 months ago
2006
Springer
Programs written in point-free form express computation purely in terms of functions. Such programs are especially amenable to local transformation. In this paper, we describe a pr...
156
click to vote
AMAST
2006
Springer
15 years 5 months ago
2006
Springer
This paper proposes a modal extension of Separation Logic [8, 11] for reasoning about data-parallel programs that manipulate heap allocated linked data structures. Separation Logi...