854 search results - page 51 / 171 » Addressing Dynamic Issues of Program Model Checking |
130
click to vote
ENTCS
2008
15 years 2 months ago
2008
Current object-oriented approaches to distributed programs may be criticized in several respects. First, method calls are generally synchronous, which leads to much waiting in dis...
141
Voted
JMLR
2008
15 years 2 months ago
2008
Existing template-independent web data extraction approaches adopt highly ineffective decoupled strategies--attempting to do data record detection and attribute labeling in two se...
172
click to vote
CGO
2011
IEEE
14 years 6 months ago
2011
IEEE
— The emergence and wide adoption of web applications have moved the client-side component, often written in JavaScript, to the forefront of computing on the web. Web application...
OOPSLA
2005
Springer
15 years 8 months ago
2005
Springer
As a value flows across the boundary between interoperating languages, it must be checked and converted to fit the types and representations of the target language. For simple f...
138
click to vote
TSE
2011
14 years 9 months ago
2011
—Conventional testing methods often fail to detect hidden flaws in complex embedded software such as device drivers or file systems. This deficiency incurs significant developmen...