1236 search results - page 65 / 248 » The Problems of Data Modeling in Software Practice |
148
Voted
WWW
2006
ACM
16 years 4 months ago
2006
ACM
The need of formal verification is a problem that involves all the fields in which sensible data are managed. In this context the verification of data streams became a fundamental...
136
click to vote
SIGSOFT
2002
ACM
16 years 4 months ago
2002
ACM
Program slicing is a potentially useful analysis for aiding program understanding. However, slices of even small programs are often too large to be generally useful. Imprecise poi...
121
Voted
RAID
2010
Springer
15 years 2 months ago
2010
Springer
The insider threat against database management systems is a dangerous security problem. Authorized users may abuse legitimate privileges to masquerade as other users or to maliciou...
118
Voted
SNPD
2004
15 years 5 months ago
2004
A typical problem formal verification faces is the size of the model of a system being verified. Even for a small system, the state space of the model tends to grow exponentially (...
120
Voted
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
The fault-prone module detection in source code is of importance for assurance of software quality. Most of previous fault-prone detection approaches are based on software metrics...