5159 search results - page 933 / 1032 » Structural Testing of Executables |
156
click to vote
LICS
2009
IEEE
16 years 28 days 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 ...
184
click to vote
MICRO
2009
IEEE
16 years 28 days 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 ...
208
click to vote
INFOCOM
2007
IEEE
16 years 18 days 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...
171
click to vote
ESWS
2007
Springer
16 years 14 days 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,...
164
click to vote
IPSN
2007
Springer
16 years 13 days 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...