540 search results - page 48 / 108 » Mathematical programming based debugging |
137
click to vote
TAP
2010
Springer
15 years 1 days ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
119
Voted
EOR
2006
15 years 2 months ago
2006
ABSTRACT. We consider equilibrium constrained optimization problems, which have a general formulation that encompasses well-known models such as mathematical programs with equilibr...
125
Voted
ICSE
2008
IEEE-ACM
16 years 3 months ago
2008
IEEE-ACM
A memory leak in a Java program occurs when object references that are no longer needed are unnecessarily maintained. Such leaks are difficult to understand because static analyse...
131
Voted
ICSE
2008
IEEE-ACM
16 years 3 months ago
2008
IEEE-ACM
WS-BPEL applications are a kind of service-oriented application. They use XPath extensively to integrate loosely-coupled workflow steps. However, XPath may extract wrong data from...
122
Voted
ESWS
2007
Springer
15 years 8 months ago
2007
Springer
WSML is an ontology language specifically tailored to annotate Web Services, and part of its semantics adheres to the rule-based knowledge representation paradigm of logic program...