4231 search results - page 307 / 847 » Using Language More Responsibly |
145
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
This paper presents narrative pictograms, diagrams designed to convey the abstract concepts of a software agreement. Narrative pictograms arose out of a need to increase the chanc...
171
click to vote
ADAEUROPE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Ada has proved to be one of the best languages to learn computer programming. Nevertheless, learning to program is difficult and when it is combined with lack of motivati...
150
click to vote
ACSAC
2007
IEEE
16 years 1 months ago
2007
IEEE
Jails, Sandboxes and other isolation mechanisms limit the damage from untrusted programs by reducing a process’s privileges to the minimum. Sandboxing is designed to thwart such...
190
click to vote
EPIA
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. As software systems become bigger and more complex, software developers need to cope with a growing amount of information and knowledge. The knowledge generated during th...
182
click to vote
CSFW
2003
IEEE
15 years 12 months ago
2003
IEEE
A policy describes the conditions under which an action is permitted or forbidden. We show that a fragment of (multi-sorted) first-order logic can be used to represent and reason...