1342 search results - page 209 / 269 » MEMS Design And Verification |
121
click to vote
SIGSOFT
2002
ACM
16 years 19 days ago
2002
ACM
Security is a very important issue in information processing, especially in open network environments like the Internet. The Common Criteria (CC) is the standard requirements cata...
210
click to vote
POPL
2008
ACM
16 years 6 days ago
2008
ACM
alyses are concerned with precise abstractions of the heap to capture detailed structural properties. To do so, they need to build and decompose summaries of disjoint memory regio...
186
click to vote
POPL
2005
ACM
16 years 6 days ago
2005
ACM
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...
196
click to vote
POPL
2005
ACM
16 years 6 days ago
2005
ACM
Dynamic software updates can be used to fix bugs or add features to a running program without downtime. Essential for some applications and convenient for others, low-level dynami...
96
Voted
ICFP
2003
ACM
15 years 12 months ago
2003
ACM
A three-year study collected information bearing on the question of whether studying mathematics improves programming skills. An analysis of the data revealed significant differen...