1809 search results - page 230 / 362 » Software Model Checking Using Linear Constraints |
112
click to vote
LCPC
1999
Springer
15 years 6 months ago
1999
Springer
One of the challenges present to a Java compiler is Java’s frequent use of runtime exceptions. These exceptions affect performance directly by requiring explicit checks, as wel...
124
Voted
ENTCS
2010
15 years 2 months ago
2010
In component-based software engineering, reconfiguration describes structural changes to the architecture of a component system. For stateful components, not only structural but a...
108
click to vote
VL
2002
IEEE
15 years 7 months ago
2002
IEEE
There is a range of modelling notations, both textual and diagrammatic, whose semantics are based on first-order predicate logic. This paper presents a visual framework for organ...
108
click to vote
SOFTVIS
2003
ACM
15 years 7 months ago
2003
ACM
Analysis and design of programs by using tools has emerged to a standard technique in object-oriented software engineering. Many of these tools claim to implement methods accordin...
120
click to vote
IJCAI
2003
15 years 3 months ago
2003
This paper presents a new scenario recognition algorithm for Video Interpretation. We represent a scenario model by specifying the characters involved in the scenario, the sub-sce...