Sciweavers

4098 search results - page 271 / 820
» Sound mobility models
Sort
View
EUMAS
2006
15 years 8 months ago
A Metamodel for Verifying Institutions
To investigate the interdependencies existing among deontic positions (like powers and obligations) and the ontology defined by an institution, we have proposed to model instituti...
Francesco Viganò
UAI
2001
15 years 8 months ago
A Calculus for Causal Relevance
We present a sound and complete calculus for causal relevance that uses Pearl's functional causal models as semantics. The calculus consists of axioms and rules of inference ...
Blai Bonet
JIS
2007
120views more  JIS 2007»
15 years 6 months ago
A multi-layer metadata schema for digital folklore collections
Digital folklore collections are valuable sources for studying cultural and oral tradition of a country. The main difficulty in managing such collections is material heterogeneity...
Irene Lourdi, Christos Papatheodorou, Mara Nikolai...
JOC
2007
129views more  JOC 2007»
15 years 6 months ago
Formal Proofs for the Security of Signcryption
Signcryption is a public key or asymmetric cryptographic method that provides simultaneously both message confidentiality and unforgeability at a lower computational and communica...
Joonsang Baek, Ron Steinfeld, Yuliang Zheng
ESE
2000
61views Database» more  ESE 2000»
15 years 6 months ago
Requirements-Based Estimation of Change Costs
We present a case study that aims at quantitative assessment of the impact of requirements changes, and quantitative estimation of costs of the development activities that must be ...
Luigi Lavazza, Giuseppe Valetto