8623 search results - page 1431 / 1725 » Software engineering for secure systems |
163
click to vote
SCAM
2006
IEEE
16 years 21 days ago
2006
IEEE
Many articles and tools have been proposed over the years for mining design patterns from source code. These tools differ in several aspects, thus their fair comparison is hard. B...
229
click to vote
SIGSOFT
2006
ACM
16 years 19 days ago
2006
ACM
Bitwise operations are commonly used in low-level systems code to access multiple data fields that have been packed into a single word. Program analysis tools that reason about s...
191
click to vote
SERA
2004
Springer
16 years 1 days ago
2004
Springer
NuEditor is a tool suite supporting specification and verification of software requirements written in NuSCR. NuSCR extends SCR (Software Cost Reduction) notation that has been us...
170
click to vote
FPGA
2008
ACM
15 years 8 months ago
2008
ACM
Functional full-system simulators are powerful and versatile research tools for accelerating architectural exploration and advanced software development. Their main shortcoming is...
223
click to vote
AVI
2010
15 years 4 months ago
2010
The procedures to collect information about users are well known in computer science till long time. They range from getting explicit information from users, required in order to ...