78 search results - page 5 / 16 » Toward practical authorization-dependent user obligation sys... |
AMAST
2004
Springer
14 years 26 days ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
LWA
2008
13 years 9 months ago
2008
The problem of information overload has been addressed by several systems. However, many approaches are limited to informal artifacts and need to refer to the user for reference o...
CHI
2009
ACM
14 years 2 months ago
2009
ACM
Prior knowledge is a critical resource for design, especially when designers are striving to generate new ideas for complex problems. Systems that improve access to relevant prior...
ISEM
2008
13 years 7 months ago
2008
In many parts of the world there is a growing demand for participation in public policy decision making. This demand could be satisfied by the design and deployment of webbased gr...
ICSE
2001
IEEE-ACM
13 years 12 months ago
2001
IEEE-ACM
It has long been accepted that requirements analysis should precede architectural design and implementation, but in software evolution and reverse engineering this concern with bl...