5277 search results - page 735 / 1056 » Virtual Audio Systems |
173
click to vote
JLP
2010
15 years 1 months ago
2010
We present a calculus for tracking equality relationships between values through pairs of bytecode programs. The calculus may serve as a certification mechanism for noninterferenc...
162
click to vote
EMNLP
2011
14 years 6 months ago
2011
Open Information Extraction (IE) is the task of extracting assertions from massive corpora without requiring a pre-specified vocabulary. This paper shows that the output of state...
171
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Fine grained concurrency and accurate timing can be essential for embedded hardware and software systems. These requirements should be reflected in the specification and must be c...
179
click to vote
ICAC
2006
IEEE
16 years 23 days ago
2006
IEEE
— The need for self-healing software to respond with a reactive, proactive or preventative action as a result of changes in its environment has added the non-functional requireme...
187
click to vote
MMAS
2004
Springer
16 years 2 days ago
2004
Springer
Future computing systems interact with a large number of users moving around buildings and streets. In this paper, we propose an example of such systems and how to evaluate ubicomp...