4421 search results - page 600 / 885 » Libraries |
109
click to vote
MODELS
2007
Springer
15 years 9 months ago
2007
Springer
The rising adoption and incorporation of computers into everyday life requires human-computer interaction methods to be efficient and easy to understand. Simultaneously, complexit...
PAM
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Most tools to recognize the application associated with network connections use well-known signatures as basis for their classification. This approach is very effective ...
152
click to vote
PPAM
2007
Springer
15 years 9 months ago
2007
Springer
For about ten years now, Bo K˚agstr¨om’s Group in Umea, Sweden, Jerzy Wa´sniewski’s Team at Danish Technical University in Lyngby, Denmark, and I at IBM Research in Yorktown...
114
click to vote
SAMOS
2007
Springer
15 years 9 months ago
2007
Springer
— Interrupt-based programming is widely used for interfacing a processor with peripherals and allowing software threads to interact. Many hardware/software architectures have bee...
125
click to vote
TACAS
2007
Springer
15 years 9 months ago
2007
Springer
Symbolic execution can be problematic when applied to real applications. This paper addresses two of these problems: (1) the constraints generated during symbolic execution may be ...