1546 search results - page 101 / 310 » Context-Aware Computing with Sound |
188
click to vote
ECOWS
2008
Springer
15 years 6 months ago
2008
Springer
Executable business process models build on the specification of process activities, their implemented business functions (e.g., Web services) and the control flow between these a...
248
click to vote
POPL
2008
ACM
16 years 5 months ago
2008
ACM
In language-based security, confidentiality and integrity policies conveniently specify the permitted flows of information between different parts of a program with diverse levels...
151
click to vote
CSFW
2010
IEEE
15 years 8 months ago
2010
IEEE
Nowadays it is widely accepted to formulate the security of a protocol carrying out a given task via the "trusted-party paradigm," where the protocol execution is compar...
155
click to vote
FOSSACS
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. We present the first complete soundness proof of the antiframe rule, a recently proposed proof rule for capturing information hiding in the presence of higher-order stor...
123
Voted
ACMDIS
2004
ACM
15 years 10 months ago
2004
ACM
The distinctive features of interactive sound installations in public space are considered, with special attention to the rich, if undoubtedly difficult, environments in which the...