67 search results - page 13 / 14 » Decompositions of Natural Numbers: From a Case Study in Math... |
ESEM
2009
ACM
14 years 15 days ago
2009
ACM
: © Using Security Metrics Coupled with Predictive Modeling and Simulation to Assess Security Processes Yolanta Beres, Marco Casassa Mont, Jonathan Griffin, Simon Shiu HP Laborato...
CODASPY
2011
12 years 9 months ago
2011
Social Network Systems pioneer a paradigm of access control that is distinct from traditional approaches to access control. Gates coined the term Relationship-Based Access Control...
EMSOFT
2006
Springer
13 years 9 months ago
2006
Springer
We report on a case study in which the model checker Uppaal is used to formally model parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has...
ISCA
2007
IEEE
14 years 8 days ago
2007
IEEE
We explore the emerging application area of physics-based simulation for computer animation and visual special effects. In particular, we examine its parallelization potential and...
RTSS
2008
IEEE
14 years 10 days ago
2008
IEEE
The Real-Time Calculus (RTC) framework proposed in [Chakraborty et al., DATE 2003] and subsequently extended in [Wandeler et al., Real-Time Systems 29(2-3), 2005] and a number of ...