Sciweavers

2041 search results - page 23 / 409
» Modelling Generic Judgements
Sort
View
ICISC
2009
169views Cryptology» more  ICISC 2009»
15 years 5 days ago
Generic One Round Group Key Exchange in the Standard Model
Minimizing complexity of group key exchange (GKE) protocols is an important milestone towards their practical deployment. An interesting approach to achieve this goal is to simplif...
M. Choudary Gorantla, Colin Boyd, Juan Manuel Gonz...
TOCS
2008
131views more  TOCS 2008»
15 years 2 months ago
A generic component model for building systems software
Component-based software structuring principles are now commonly and successfully applied at the application level; but componentisation is far less established when it comes to b...
Geoff Coulson, Gordon S. Blair, Paul Grace, Fran&c...
VLDB
2002
ACM
108views Database» more  VLDB 2002»
15 years 2 months ago
Generic Database Cost Models for Hierarchical Memory Systems
Accurate prediction of operator execution time is a prerequisite for database query optimization. Although extensively studied for conventional disk-based DBMSs, cost modeling in ...
Stefan Manegold, Peter A. Boncz, Martin L. Kersten
FMSB
2008
142views Formal Methods» more  FMSB 2008»
15 years 4 months ago
Generic Reactive Animation: Realistic Modeling of Complex Natural Systems
Abstract. Natural systems, such as organs and organisms, are largescale complex systems with numerous elements and interactions. Modeling such systems can lead to better understand...
David Harel, Yaki Setty
CAISE
2005
Springer
15 years 8 months ago
A Generic Model for Integrated Multi-Channel Information Systems
Abstract. There is an increasing need to provide methods for describing information systems which incorporate the integrated use of multiple channels of interaction. To achieve thi...
Richard Cooper, XianQing Wu