4880 search results - page 18 / 976 » Manuals as Structured Programs |
CSFW
2010
IEEE
14 years 2 months ago
2010
IEEE
—Quantitative information-flow analysis (QIF) is an emerging technique for establishing information-theoretic confidentiality properties. Automation of QIF is an important step...
LREC
2010
14 years 11 days ago
2010
Learning texts contain much implicit knowledge which is ideally presented to the learner in a structured manner - a typical example being definitions of terms in the text, which w...
SIGSOFT
2005
ACM
14 years 11 months ago
2005
ACM
Using the application programming interfaces (API) of large software systems requires developers to understand details about the interfaces that are often not explicitly defined. ...
SOFSEM
2010
Springer
14 years 7 months ago
2010
Springer
Programmers rely on programming idioms, design patterns, and workaround techniques to make up for missing programming language support. Evolving languages often address frequently ...
CONIELECOMP
2006
IEEE
14 years 5 months ago
2006
IEEE
This paper presents WISBuilder, a framework that investigates an approach for facilitating the development of Web-based Information Systems. The approach is based on the Model-Vie...