540 search results - page 18 / 108 » Mathematical programming based debugging |
AI
2008
Springer
15 years 3 months ago
2008
Springer
A problem of intense interest to many sports fans as a season progresses is whether their favorite team has mathematically clinched a playoff spot; i.e., whether there is no possib...
109
click to vote
LICS
1997
IEEE
15 years 5 months ago
1997
IEEE
We present a categorical theory of ‘well-behaved’ operational semantics which aims at complementing the established theory of domains and denotational semantics to form a cohe...
JMM2
2007
15 years 1 months ago
2007
Abstract In 2006, Gaurav Gupta and Josef Pieprzyk presented an attack on the branch-based software watermarking scheme proposed by Ginger Myles and Hongxia Jin in 2005. The softw...
104
click to vote
COMPSAC
2004
IEEE
15 years 5 months ago
2004
IEEE
Software reliability is defined as the probability of failure-free software operation for a specified period of time in a specified environment. Over the past 30 years, many softw...
123
click to vote
CODES
2008
IEEE
15 years 3 months ago
2008
IEEE
Synchronous languages like Esterel have been widely adopted for designing reactive systems in safety-critical domains such as avionics. Specifications written in Esterel are based...