Sciweavers

4469 search results - page 575 / 894
» Dynamic Program Slicing
Sort
View
ISSRE
2002
IEEE
15 years 11 months ago
Inter-Class Mutation Operators for Java
The effectiveness of mutation testing depends heavily on the types of faults that the mutation operators are designed to represent. Therefore, the quality of the mutation operator...
Yu-Seung Ma, Yong Rae Kwon, Jeff Offutt
SPAA
2010
ACM
15 years 11 months ago
Lightweight, robust adaptivity for software transactional memory
When a program uses Software Transactional Memory (STM) to synchronize accesses to shared memory, the performance often depends on which STM implementation is used. Implementation...
Michael F. Spear
EMSOFT
2001
Springer
15 years 11 months ago
System-Level Types for Component-Based Design
Abstract. We present a framework to extend the concept of type systems in programming languages to capture the dynamic interaction in component-based design, such as the communicat...
Edward A. Lee, Yuhong Xiong
148
Voted
ACSAC
2000
IEEE
15 years 11 months ago
Layering Boundary Protections: An Experiment in Information Assurance
The DARPA Information Assurance Program has the aim of developing and executing experiments that test specific hypotheses about defense in depth and dynamic defense capabilities. ...
D. Johnson, L. Benzinger
HICSS
2000
IEEE
108views Biometrics» more  HICSS 2000»
15 years 11 months ago
Pricing Online Banking Services amid Network Externalities
Using the particular example of online banking services, we examine the effects of pricing strategies on the demand for different modes of online banking given that the market exh...
Baba Prasad, Patrick Harker