4421 search results - page 600 / 885 » Libraries |
171
Voted
MODELS
2007
Springer
16 years 25 days 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...
143
click to vote
PAM
2007
Springer
16 years 24 days 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 ...
213
click to vote
PPAM
2007
Springer
16 years 24 days 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...
185
click to vote
SAMOS
2007
Springer
16 years 24 days 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...
173
click to vote
TACAS
2007
Springer
16 years 24 days 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 ...