1050 search results - page 152 / 210 » Towards programming for the non-technical |
PST
2008
13 years 11 months ago
2008
In this paper, we propose an approach for systematic security hardening of software based on aspect-oriented programming and Gimple language. We also present the first steps towar...
ACE
2004
13 years 11 months ago
2004
This paper analyses the cognitive difficulty of six courses that may be taken as credit towards an IT degree offered by a regional Australian University. The assessment requiremen...
DAGSTUHL
2003
13 years 11 months ago
2003
Data mining focuses on the development of methods and algorithms for such tasks as classification, clustering, rule induction, and discovery of associations. In the database fiel...
WCET
2007
13 years 11 months ago
2007
Worst-case execution time (WCET) analysis is indispensable for the successful design and development of systems, which, in addition to their functional constraints, have to satisf...
ENTCS
2008
13 years 10 months ago
2008
The satisfiability problem is the fundamental problem in proving the conflict-freeness of specifications, or in finding a counterexample for an invalid statement. In this paper, w...