490 search results - page 29 / 98 » Artist As Researcher, Understanding The Tools |
MMMACNS
2001
Springer
14 years 4 days ago
2001
Springer
The history of the application of formal methods to cryptographic protocol analysis spans nearly twenty years, and recently has been showing signs of new maturity and consolidatio...
ESEC
1997
Springer
13 years 11 months ago
1997
Springer
Abstract. In this paper we demonstrate how static concurrency analysis techniques can be used to verify application-specific properties of an architecture description. Specifically...
DIMEA
2008
13 years 9 months ago
2008
Information is becoming pervasive in the contemporary society, and is increasingly saturating the visual senses and the cognitive efforts of the lay masses. As our attention for v...
SIGMOD
2008
ACM
13 years 7 months ago
2008
ACM
James Nicholas Gray's understanding and experimentation gave him a special perspective. From 1995 his commitment was building indefinitely scalable tools by working on really...
PRICAI
2010
Springer
13 years 6 months ago
2010
Springer
Research in learning algorithms and sensor hardware has led to rapid advances in artificial systems over the past decade. However, their performance continues to fall short of the ...