10159 search results - page 1732 / 2032 » System Design Validation Using Formal Models |
185
click to vote
PLDI
2010
ACM
16 years 4 months ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...
168
click to vote
ACSAC
2007
IEEE
16 years 1 months ago
2007
IEEE
Instant messaging (IM) has been one of most frequently used malware attack vectors due to its popularity. Distinct from other malware, it is straightforward for IM malware to fin...
163
click to vote
OOPSLA
2005
Springer
16 years 6 days ago
2005
Springer
Garbage collection yields numerous software engineering benefits, but its quantitative impact on performance remains elusive. One can compare the cost of conservative garbage col...
169
click to vote
IMC
2004
ACM
16 years 4 days ago
2004
ACM
Accurate, reliable timestamping which is also convenient and inexpensive is needed in many important areas including real-time network applications and network measurement. Recent...
179
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
A number of techniques for generating geometric models of human head and body are in use nowadays. Models of human characters are useful in computer games, virtual reality, and ma...