752 search results - page 109 / 151 » Finite-State Modeling, Analysis and Testing of System Vulner... |
153
click to vote
ILC
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We aim at checking safety and temporal properties over models representing the behavior of programs manipulating dynamic singly-linked lists. The properties we consider n...
130
click to vote
CAD
2005
Springer
15 years 4 months ago
2005
Springer
Current methods for recognition and interpretation of architectural drawings are limited to either low-level analysis of paper drawings or interpretation of electronic drawings th...
162
Voted
BMCBI
2008
15 years 5 months ago
2008
Background: The analysis of large-scale data sets via clustering techniques is utilized in a number of applications. Biclustering in particular has emerged as an important problem...
123
Voted
ECIS
2004
15 years 6 months ago
2004
E-learning is a new strategic arena for higher education, and higher education institutions (HEIs) need to acquire the necessary competencies and capabilities to participate. Thes...
121
click to vote
AGILEDC
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper presents a model of incremental change that consists of concept location, impact analysis, actualization, change propagation, supporting refactorings, and testing. Repe...