1541 search results - page 217 / 309 » Tools and Techniques for Model Checking Networked Programs |
105
click to vote
PERCOM
2010
ACM
14 years 11 months ago
2010
ACM
—In the environments where heterogeneous devices need to share information, utilize services of each other, and participate as components in various smart applications, it is com...
71
Voted
ISSTA
2006
ACM
15 years 6 months ago
2006
ACM
Finite-state verification techniques are often hampered by the stateexplosion problem. One proposed approach for addressing this problem is assume-guarantee reasoning. Using rece...
110
Voted
WORM
2003
15 years 2 months ago
2003
This paper presents DOME, a host-based technique for detecting several general classes of malicious code in software executables. DOME uses static analysis to identify the locatio...
116
Voted
AAI
2005
15 years 16 days ago
2005
The application of AI planning techniques to manufacturing systems is being widely deployed for all the tasks involved in the process, from product design to production planning an...
91
Voted
PERCOM
2006
ACM
16 years 6 days ago
2006
ACM
Application autonomy can reduce interactions with users, ease the use of the system, and decrease user distraction. On the other hand, users may feel loss of control over their ap...