3302 search results - page 491 / 661 » Software Is More Than Code |
182
click to vote
ECOOPW
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Software security has become more important than ever. Unfortunately, still now, the security of a software system is almost always retrofitted to an afterthought. When s...
145
click to vote
FATES
2006
Springer
15 years 9 months ago
2006
Springer
We present a new lockset-based algorithm, Goldilocks, for precisely computing the happens-before relation and thereby detecting data-races at runtime. Dynamic race detection algori...
143
click to vote
FSTTCS
2006
Springer
15 years 9 months ago
2006
Springer
The boundary labeling problem was recently introduced in [5] as a response to the problem of labeling dense point sets with large labels. In boundary labeling, we are given a recta...
124
click to vote
FSTTCS
2006
Springer
15 years 9 months ago
2006
Springer
We observe that pushdown tree automata (PTAs) known in the literature cannot express combinations of branching and pushdown properties. This is because a PTA processes the children...
152
click to vote
CASES
2001
ACM
15 years 9 months ago
2001
ACM
Current development tools for embedded real-time systems do not efficiently support the timing aspect. The most important timing parameter for scheduling and system analysis is th...