10055 search results - page 86 / 2011 » Structured programming using processes |
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Open Answer Set Programming (OASP) is an attractive framework for integrating ontologies and rules. In general OASP is undecidable. In previous work we provided a tableau-based alg...
CAISE
2007
Springer
14 years 2 months ago
2007
Springer
Several methods based upon textual programming languages or graphical notations have been proposed for manual modeling of business process models. But since manual process modeling...
ICIP
2002
IEEE
14 years 9 months ago
2002
IEEE
In this paper, a concept called multiscale structure tensor is introduced, as an extension of the single-scale structure tensor. It is based on a redundant dyadic wavelet transfor...
ISCA
2010
IEEE
14 years 27 days ago
2010
IEEE
Fault tolerance is now a primary design constraint for all major microprocessors. One step in determining a processor’s compliance to its failure rate target is measuring the Ar...
ACSAC
2003
IEEE
14 years 1 months ago
2003
IEEE
In this paper, we present a new approach for safe execution of untrusted programs by isolating their effects from the rest of the system. Isolation is achieved by intercepting fi...