944 search results - page 131 / 189 » Software model checking without source code |
ECOOPW
1998
Springer
14 years 2 months ago
1998
Springer
This workshop focussed on the requirements for tools and environments that support business rules in an object-oriented setting and attempted to provide an overview of possible tec...
ICIP
1998
IEEE
14 years 11 months ago
1998
IEEE
We describe a method to maintain an acceptable quality for video transported over wireless networks under timevarying conditions. We use a transcoder to modify the resilience of t...
INFSOF
2008
13 years 10 months ago
2008
Domain-specific modeling (DSM) assists subject matter experts in describing the essential characteristics of a problem in their domain. Various software artifacts can be generated...
POS
1994
Springer
14 years 2 months ago
1994
Springer
We consider some issues in optimizing persistent programming languages. In particular, we show how to express optimizations of object residency checks in strongly typed persistent...
WCRE
2003
IEEE
14 years 3 months ago
2003
IEEE
In reverse engineering, parsing may be partially done to extract lightweight source models. Parsing code containing preprocessing directives, syntactical errors and embedded langu...