3555 search results - page 669 / 711 » Security-Critical System Development with Extended Use Cases |
140
click to vote
AISB
2008
Springer
15 years 3 months ago
2008
Springer
Philosophy, artificial intelligence and cognitive science have long been dominated by the presupposition that intelligence is fundamentally individual. Recent work in cognitive sci...
134
click to vote
SIGSOFT
2006
ACM
16 years 2 months ago
2006
ACM
Recent software systems usually feature an automated failure reporting system, with which a huge number of failing traces are collected every day. In order to prioritize fault dia...
107
click to vote
CHI
2004
ACM
16 years 1 months ago
2004
ACM
This chapter introduces the concept of multi-modal interaction and our findings related to the development of biomedical applications for two different projection modalities: virtu...
127
click to vote
CASES
2007
ACM
15 years 5 months ago
2007
ACM
ABSTRACT This paper presents the first scratch-pad memory allocation scheme that requires no compiler support for interpreted-language based applications. A scratch-pad memory (SPM...
148
click to vote
CHARME
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. We propose new, tractably (in some cases provably) efficient algorithmic methods for exact (sound and complete) parameterized reasoning about cache coherence protocols. F...