1117 search results - page 79 / 224 » Improving Testing Efficiency using Cumulative Test Analysis |
126
click to vote
ALP
1994
Springer
15 years 7 months ago
1994
Springer
Abstract. We introduce a compositional characterization of the operational semantics of equational Horn programs. Then we show that this semantics and the standard operational sema...
148
click to vote
ICALP
2009
Springer
16 years 3 months ago
2009
Springer
We present an AC1 (logDCFL) algorithm for checking LTL formulas over finite paths, thus establishing that the problem can be efficiently parallelized. Our construction provides a f...
123
click to vote
CSREASAM
2004
15 years 4 months ago
2004
A VPN establishes a secure network using the insecure media of the Internet. However, before a VPN can be established keys must be exchanged between the communicating peers. In th...
113
click to vote
HCI
2009
15 years 1 months ago
2009
Producing caption for the deaf and hearing impaired is a labor intensive task. We implemented a software tool, named SmartCaption, for assisting the caption production process usin...
110
Voted
BIOCOMP
2006
15 years 4 months ago
2006
- Structure-based drug design approach is used to design and analyze cytochrome P450 inhibitors for the treatment of prostate cancer. The structural efficiency of inhibitors is mea...