1050 search results - page 38 / 210 » Towards programming for the non-technical |
BROADNETS
2006
IEEE
15 years 3 months ago
2006
IEEE
—The central paradigm of today’s successful Internet is to keep the network core simple and move complexity towards the network end points. Unfortunately, this very paradigm li...
IFIP
2007
Springer
15 years 4 months ago
2007
Springer
METRICS
2005
IEEE
15 years 3 months ago
2005
IEEE
Software measurement programs can help organizations make better decisions regarding their software projects. However, creating and establishing software measurement programs can ...
PADL
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Provably correct compilation is an important aspect in development of high assurance software systems. In this paper we explore approaches to provably correct code genera...
WCET
2008
14 years 11 months ago
2008
In this paper, we propose the use of constraint logic programming as a way of modeling contextsensitive execution-times of program segments. The context-sensitive constraints are ...