1799 search results - page 246 / 360 » The Logic of Correctness in Software Engineering |
220
click to vote
CSSE
2008
IEEE
16 years 29 days ago
2008
IEEE
—Image segmentation plays an important role in image analysis and computer vision system. Among all segmentation techniques, the automatic thresholding methods are widely used be...
162
click to vote
ISPASS
2008
IEEE
16 years 27 days ago
2008
IEEE
This paper presents and experimentally evaluates two parallelization strategies for the popular open-source Snort network intrusion detection system (NIDS). Snort identifies intr...
187
click to vote
WCRE
2008
IEEE
16 years 26 days ago
2008
IEEE
High-level software artifacts, such as requirements, domain-specific requirements, and so on, are an important source of information that is often neglected during the reverse- an...
155
click to vote
APSEC
2007
IEEE
16 years 25 days ago
2007
IEEE
The coordination-policy that components interactions satisfied often determines the properties of nowadays component-based information systems, e.g. Safety, Liveness and Fairness ...
169
click to vote
ICSEA
2007
IEEE
16 years 24 days ago
2007
IEEE
Abstract—Nondeterminism is used as a means of underspecification or implementation choice in specifications, and it is often necessary if part of a system or the environment is...