2560 search results - page 42 / 512 » Analysis Tool for Honeypot Systems |
ASPDAC
2007
ACM
13 years 11 months ago
2007
ACM
The scaling of CMOS technology into the nanometer era enables the fabrication of highly integrated systems, which increasingly contain analog and/or RF parts. However, scaling into...
GI
2004
Springer
14 years 24 days ago
2004
Springer
The Action Semantics for UML provides a standard and platform independent way to describe the behavior of methods and executable actions in object-oriented system design prior to i...
HICSS
2003
IEEE
14 years 21 days ago
2003
IEEE
Statistical testing of software based on a usage model is a cost-effective and efficient means to make inferences about software quality. In order to apply this method, a usage m...
ICALT
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper introduces the MarkTool System – a software system designed to support formative assessment of open-ended written assignments. The MarkTool System brings together ser...
SIES
2007
IEEE
14 years 1 months ago
2007
IEEE
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...