5159 search results - page 933 / 1032 » Structural Testing of Executables |
113
Voted
LICS
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract. Ludics is peculiar in the panorama of game semantics: we first have the definition of interaction-composition and then we have semantical types, as a set of strategies ...
140
Voted
MICRO
2009
IEEE
15 years 9 months ago
2009
IEEE
Aggressive technology scaling to 45nm and below introduces serious reliability challenges to the design of microprocessors. Large SRAM structures used for caches are particularly ...
164
click to vote
INFOCOM
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract—Deep packet inspection (DPI) is often used in network intrusion detection and prevention systems (NIDPS), where incoming packet payloads are compared against known attac...
126
Voted
ESWS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Ontologies are now used within an increasing number of realworld applications. So far, significant effort has been spend in building tools to support users in creating,...
115
Voted
IPSN
2007
Springer
15 years 8 months ago
2007
Springer
— Existing sensor network architectures are based on the assumption that data will be polled. Therefore, they are not adequate for long-term battery-powered use in applications t...