4940 search results - page 227 / 988 » On the Complexity of Universal Programs |
182
click to vote
FUIN
2006
15 years 6 months ago
2006
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...
191
click to vote
ICDE
2011
IEEE
14 years 10 months ago
2011
IEEE
Abstract— In recent years, XML-based Publish-Subscribe Systems have become popular due to the increased demand of timely event-notification. Users (or subscribers) pose complex ...
335
click to vote
PLDI
2009
ACM
16 years 7 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....
186
click to vote
ICPP
1995
IEEE
15 years 10 months ago
1995
IEEE
Interactive program steering permits researchers to monitor and guide their applications during runtime. Interactive steering can help make end users more effective in addressing ...
253
click to vote
ICLP
2009
Springer
16 years 7 months ago
2009
Springer
Recently, enabling modularity aspects in Answer Set Programming (ASP) has gained increasing interest to ease the composition of program parts to an overall program. In this paper, ...