2520 search results - page 81 / 504 » Model-checking behavioral programs |
85
Voted
ITCC
2005
IEEE
15 years 6 months ago
2005
IEEE
Abstract: Evidence of some attacks can be manifested by abnormal sequences of system calls of programs. Most approaches that have been developed so far mainly concentrate on some p...
ICSE
2010
IEEE-ACM
15 years 5 months ago
2010
IEEE-ACM
Software behavioral models have proven useful for design, validation, verification, and maintenance. However, existing approaches for deriving such models sometimes overgeneraliz...
109
click to vote
HIPEAC
2007
Springer
15 years 4 months ago
2007
Springer
Fine-grained program power behavior is useful in both evaluating power optimizations and observing power optimization opportunities. Detailed power simulation is time consuming and...
97
Voted
EXPCS
2007
15 years 4 months ago
2007
Utility programs, which perform similar and largely independent operations on a sequence of inputs, include such common applications as compilers, interpreters, and document parse...
VMCAI
2009
Springer
15 years 7 months ago
2009
Springer
We present a lightweight type-and-effect system for Java programs that features two major innovations over extant object-oriented effects systems: initialization effects, which ...