1754 search results - page 21 / 351 » What's new in informatics |
DATE
2006
IEEE
14 years 1 months ago
2006
IEEE
Practitioners of formal property verification often work around the capacity limitations of formal verification tools by breaking down properties into smaller properties that ca...
GW
2003
Springer
14 years 24 days ago
2003
Springer
Abstract. This paper analyzes how expressive gestures of a professional clarinetist contribute to the perception of structural and emotional information in musical performance. The...
DATE
2002
IEEE
14 years 17 days ago
2002
IEEE
The argument against ASIC SoCs is that they have always taken too long and cost too much to design. As new process technologies come on line, the issue of inflexible, unyielding d...
DRM
2006
Springer
13 years 11 months ago
2006
Springer
Through legislation and technology the film industry has been seeking to fully control usage of the bits it creates; their model is "restrictive" digital-rights manageme...
USENIX
2004
13 years 9 months ago
2004
The X Window System is the de facto standard graphical environment for Linux and Unix hosts, and is usable on nearly any class of computer one could find today. Its success is par...