163 search results - page 12 / 33 » JavaScript Instrumentation in Practice |
HICSS
2009
IEEE
15 years 6 months ago
2009
IEEE
We have used a design science approach to study the collaborative creation of conceptual models. We have designed a collaborative modeling architecture based on business needs and...
CAV
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. This paper presents a practical automatic verification procedure for proving linearizability (i.e., atomicity and functional correctness) of concurrent data structure im...
117
click to vote
OSDI
2006
ACM
15 years 12 months ago
2006
ACM
Software attacks often subvert the intended data-flow in a vulnerable program. For example, attackers exploit buffer overflows and format string vulnerabilities to write data to u...
IPPS
2006
IEEE
15 years 5 months ago
2006
IEEE
—The use of programmability in Systems-on-Chip (SoC) brings as the main advantage the possibility of reducing the time-to-market and the cost of design, specially when different ...
ISESE
2003
IEEE
15 years 5 months ago
2003
IEEE
Expert judgement is still the dominant technique in practice today for estimation of software project size and effort. In this paper, two instruments are evaluated that have been ...