2520 search results - page 108 / 504 » Model-checking behavioral programs |
116
click to vote
JISE
2008
15 years 22 days ago
2008
abstract the state-based behavior of AOP program with the consideration of the interactions between the base modules and aspects. Based on the model, test cases can be derived so a...
115
click to vote
ENTCS
2008
15 years 25 days ago
2008
Current object-oriented approaches to distributed programs may be criticized in several respects. First, method calls are generally synchronous, which leads to much waiting in dis...
149
click to vote
ITCC
2002
IEEE
15 years 5 months ago
2002
IEEE
Due to its portability and popularity for Internet applications, Java has become one of the major programming languages. The similar syntax inherited from the C language and the p...
130
click to vote
VL
1997
IEEE
15 years 5 months ago
1997
IEEE
Visual programming approaches are limited in their usefulness if they do not include a profile of their users that defines exactly who is attempting to solve what kind of problems...
116
Voted
NDSS
2009
IEEE
15 years 7 months ago
2009
IEEE
Anti-malware companies receive thousands of malware samples every day. To process this large quantity, a number of automated analysis tools were developed. These tools execute a m...