243 search results - page 42 / 49 » A General Model for Component-Based Software Reliability |
WWW
2009
ACM
15 years 10 months ago
2009
ACM
We present a static control-flow analysis for JavaScript programs running in a web browser. Our analysis tackles numerous challenges posed by modern web applications including asy...
WWW
2007
ACM
15 years 10 months ago
2007
ACM
It is extremely hard for a global organization with services over multiple channels to capture a consistent and unified view of its data, services, and interactions. While SOA and...
SAC
2008
ACM
14 years 9 months ago
2008
ACM
In this paper we investigate and propose a fully automated technique to perform conformance checking of Java implementations against UML class diagrams. In our approach, we reused...
120
click to vote
GLVLSI
2009
IEEE
14 years 7 months ago
2009
IEEE
To assist in dynamic assertion-based verification, we present a method to automatically build a test vector generator from a temporal property. Based on the duality between monito...
SIGSOFT
2008
ACM
15 years 10 months ago
2008
ACM
NesC is a programming language for applications that run on top of networked sensor nodes. Such an application mainly uses an interrupt to trigger a sequence of operations, known ...