Sciweavers

14331 search results - page 362 / 2867
» On the modeling and analysis of obligations
Sort
View
FORTE
2003
15 years 8 months ago
A Lightweight Formal Analysis of a Multicast Key Management Scheme
Abstract. This paper describes the analysis of Pull-Based Asynchronous Rekeying Framework (ARF), a recently proposed solution to the scalable group key management problem in secure...
Mana Taghdiri, Daniel Jackson
MCS
2008
Springer
15 years 6 months ago
Three-factor profile analysis with GARCH innovations
The technique of ANOVA has been widely used in Economics and Finance where the observations are usually time-dependent but the model itself is treated as independent in time. In t...
Pui-Lam Leung, Wing-Keung Wong
COGSCI
2008
75views more  COGSCI 2008»
15 years 5 months ago
Exemplars, Prototypes, Similarities, and Rules in Category Representation: An Example of Hierarchical Bayesian Analysis
This article demonstrates the potential of using hierarchical Bayesian methods to relate models and data in the cognitive sciences. This is done using a worked example that consid...
Michael D. Lee, Wolf Vanpaemel
GIS
2010
ACM
15 years 5 months ago
Quantitative analysis of simulated erosion for different soils
Rensselaer Polytechnic Institute Troy, NY Levee overtopping can lead to failure and cause catastrophic damage, as was the case during Hurricane Katrina. We present a computer simu...
Zhongxian Chen, Christopher Stuetzle, Barbara Cutl...
COMPSAC
2010
IEEE
15 years 3 months ago
Security in Context: Analysis and Refinement of Software Architectures
Security analysis methods can provide correct yet meaningless results if the assumptions underlying the model do not conform to reality. We present an approach to analyze the secur...
Thomas Heyman, Riccardo Scandariato, Wouter Joosen