2957 search results - page 364 / 592 » Code analysis and CS-XML |
144
click to vote
CCS
2003
ACM
15 years 9 months ago
2003
ACM
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of pract...
143
Voted
ECOOPW
1998
Springer
15 years 8 months ago
1998
Springer
Current object-oriented CASE tools are useful for recording and gaining insight into OO models. They offer extensive support for especially the analysis and design of object-orien...
167
click to vote
ECLIPSE
2007
ACM
15 years 8 months ago
2007
ACM
In the software development life cycle, unit testing is an important phase that helps in early detection of bugs. A unit test case consists of two parts: a test input, which is of...
153
click to vote
LCPC
2000
Springer
15 years 8 months ago
2000
Springer
This paper proposes a simple and efficient implementation method for a hierarchical coarse grain task parallel processing scheme on a SMP machine. OSCAR multigrain parallelizing c...
138
Voted
CORR
2008
Springer
15 years 4 months ago
2008
Springer
The classical problem of reliable point-to-point digital communication is to achieve a low probability of error while keeping the rate high and the total power consumption small. ...