Sciweavers

2664 search results - page 57 / 533
» Theory of processes
Sort
View
114
Voted
NORDSEC
2009
Springer
15 years 7 months ago
Towards Practical Enforcement Theories
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...
Nataliia Bielova, Fabio Massacci, Andrea Michelett...
114
Voted
IWQOS
2004
Springer
15 years 6 months ago
Network calculus meets queueing theory -a simulation based approach to bounded queues
— Quality of Service (QoS) is an area with high academic curiosity. Our long-term goal is to develop a unified mathematical model. This paper is a first step towards this ambit...
Krishna Pandit, Jens Schmitt, Ralf Steinmetz
88
Voted
AAMAS
2010
Springer
15 years 22 days ago
Modeling appraisal in theory of mind reasoning
Cognitive appraisal theories, which link human emotional experience to their interpretations of events happening in the environment, are leading approaches to model emotions. In th...
Mei Si, Stacy C. Marsella, David V. Pynadath
115
Voted
SMA
2008
ACM
192views Solid Modeling» more  SMA 2008»
14 years 11 months ago
Identification of sections from engineering drawings based on evidence theory
View identification is the basal process for solid reconstruction from engineering drawings. A new method is presented to label various views from a section-involved drawing and i...
Jie-Hui Gong, Hui Zhang, Bin Jiang, Jia-Guang Sun
112
Voted
JMIV
1998
106views more  JMIV 1998»
15 years 8 days ago
Linear Scale-Space Theory from Physical Principles
In the past decades linear scale-space theory was derived on the basis of various axiomatics. In this paper we revisit these axioms and show that they merely coincide with the foll...
Alfons H. Salden, Bart M. ter Haar Romeny, Max A. ...