1050 search results - page 3 / 210 » Towards programming for the non-technical |
115
click to vote
ENTCS
2002
15 years 29 days ago
2002
In this paper, we consider ANSI C program slicing using XML (Extensible Markup Language). Our goal is to build a flexible, useful and uniform data interchange format for CASE tool...
106
click to vote
TRUST
2010
Springer
14 years 11 months ago
2010
Springer
The TPM is a fairly passive entity. As a result, it can be difficult to involve the TPM in measurements of software trustworthiness beyond simple load-time hashing of static progra...
126
click to vote
CP
2010
Springer
14 years 11 months ago
2010
Springer
We introduce a parallelized version of tree-decomposition based dynamic programming for solving difficult weighted CSP instances on many cores. A tree decomposition organizes cost ...
128
click to vote
AMAI
1999
Springer
15 years 25 days ago
1999
Springer
In this paper we present an extension of logic programming (LP) that is suitable not only for the "rational" component of a single agent but also for the "reactive&...
CORR
2010
Springer
14 years 11 months ago
2010
Springer
