1352 search results - page 85 / 271 » Towards Characterizing Visualizations |
125
Voted
IPPS
2009
IEEE
15 years 10 months ago
2009
IEEE
4 Automatic differentiation is the primary means of obtaining analytic5 derivatives from a numerical model given as a computer program. There-6 fore, it is an essential productivi...
112
Voted
FM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The Alloy modeling language has a mathematically rigorous denotational semantics based on relational algebra. Alloy specifications often represent operations on a state,...
139
click to vote
NORDSEC
2009
Springer
15 years 10 months ago
2009
Springer
Runtime enforcement is a common mechanism for ensuring that program executions adhere to constraints specified by a security policy. It is based on two simple ideas: the enforceme...
117
Voted
DSN
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract—Peer-to-peer relaying is commonly used in realtime applications to cope with NAT and firewall restrictions and provide better quality network paths. As relaying is not ...
136
Voted
DSN
2008
IEEE
15 years 10 months ago
2008
IEEE
Many threats that plague today’s networks (e.g., phishing, botnets, denial of service attacks) are enabled by a complex ecosystem of attack programs commonly called malware. To ...