3713 search results - page 83 / 743 » Constructing a Calculus of Programs |
110
click to vote
KAIS
2007
15 years 2 months ago
2007
Eliciting requirements for a proposed system inevitably involves the problem of handling undesirable information about customer’s needs, including inconsistency, vagueness, redun...
143
click to vote
IAT
2010
IEEE
15 years 1 months ago
2010
IEEE
Intention recognition has significant applications in ambient intelligence, for example in assisted living and care of the elderly, in games and in intrusion and other crime detec...
104
click to vote
AISC
2006
Springer
15 years 6 months ago
2006
Springer
Solving analytic systems using inversion can be implemented in a variety of ways. One method is to use Lagrange inversion and variations. Here we present a different approach, base...
147
click to vote
ESOP
2005
Springer
15 years 8 months ago
2005
Springer
Electronic voting promises the possibility of a convenient, efficient and secure facility for recording and tallying votes in an election. Recently highlighted inadequacies of imp...
114
click to vote
IFIP
2004
Springer
15 years 8 months ago
2004
Springer
We extend a particular access control framework, the Privilege Calculus, with a possibility to override denied access for increased flexibility in hard to define or unanticipated...