Sciweavers

158 search results - page 8 / 32
» A Principled Foundation for LCS
Sort
View
SIGCSE
1996
ACM
143views Education» more  SIGCSE 1996»
14 years 1 months ago
The quest for excellence in designing CS1/CS2 assignments
We identify the principles involved in designing effective programming assignments for CS1/CS2. Through a case study of a particularly successful recursion assignment, we establis...
Todd J. Feldman, Julie Zelenski
SBBD
2003
86views Database» more  SBBD 2003»
13 years 11 months ago
XML: From Practice to Theory
The development of XML technology has occurred very rapidly, initially leaving theory behind. As is often the case in such situations, practical development sometimes seemed more ...
Victor Vianu
INFORMATICALT
2008
89views more  INFORMATICALT 2008»
13 years 9 months ago
Interactive Aggregation/Disaggregation Dichotomic Sorting Procedure for Group Decision Analysis Based on the Threshold Model
Abstract. In this paper, a new multi-criteria decision-making procedure is presented, which captures preferential information in the form of the threshold model. It is based on the...
Andrej Bregar, József Györkös, Ma...
IEEEARES
2009
IEEE
14 years 4 months ago
Identifying and Resolving Least Privilege Violations in Software Architectures
The implementation of security principles, like least privilege, in a software architecture is difficult, as no systematic rules on how to apply them in practice exist. As a resu...
Koen Buyens, Bart De Win, Wouter Joosen
AAAI
2008
14 years 2 days ago
A Formalization of Program Debugging in the Situation Calculus
Program debugging is one of the most time-consuming parts of the software development cycle. In recent years, automatic debugging has been an active research area in software engi...
Yongmei Liu