3228 search results - page 281 / 646 » Computationally Sound Proofs |
138
click to vote
IROS
2007
IEEE
15 years 11 months ago
2007
IEEE
—A mobile robot can be a rather significant source of noise: noisy fans cool onboard computers, motors are spinning, rubber wheels are squeaking against the floor, and mechanical...
127
click to vote
ACII
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Artists use words, lines, shapes, color, sound and their bodies to express emotions. Virtual humans use postures, gestures, face and voice to express emotions. Why are th...
129
click to vote
BIRTHDAY
2005
Springer
15 years 10 months ago
2005
Springer
This paper proposes a Compiled Labelled Deductive System, called ACCLDS, for reasoning about role-based access control in distributed systems, which builds upon Massacci’s tablea...
139
Voted
CSFW
2002
IEEE
15 years 9 months ago
2002
IEEE
Privacy is an increasing concern in the marketplace. Although enterprises promise sound privacy practices to their customers, there is no technical mechanism to enforce them inter...
156
click to vote
CSCWD
2001
Springer
15 years 9 months ago
2001
Springer
Workflow management techniques are aiming at supporting business process across organization boundaries. Current techniques are lacking of the formalism tools to model and analyze...