2520 search results - page 303 / 504 » Model-checking behavioral programs |
171
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
Scalability of software engineering methods can be improved by application of the methods to individual components instead of complete systems. This is, however, possible only if ...
176
click to vote
SP
2009
IEEE
16 years 1 months ago
2009
IEEE
—This paper studies and evaluates the extent to which automated compiler techniques can defend against timing-based side-channel attacks on modern x86 processors. We study how mo...
164
Voted
ICNS
2009
IEEE
16 years 1 months ago
2009
IEEE
Some initiatives towards Future Internet, e.g., GENI, DARPA’s Active Networks, argue the need for programmability of the network components. Some other initiatives extend this w...
170
click to vote
HICSS
2007
IEEE
16 years 21 days ago
2007
IEEE
This study builds on the theory of planned behavior, institutional and diffusion theories to investigate physicians’ attitudes and usage behaviors of electronic medical records ...
145
click to vote
CP
2007
Springer
16 years 17 days ago
2007
Springer
Visualization is often invaluable to understand the behavior of optimization algorithms, identify their bottlenecks or pathological behaviors, and suggest remedial techniques. Yet ...