2233 search results - page 31 / 447 » Modular type classes |
119
click to vote
IJCNN
2008
IEEE
15 years 10 months ago
2008
IEEE
— This paper presents a Fuzzy ARTMAP (FAM) based modular architecture for multi-class pattern recognition known as Modular Adaptive Resonance Theory Map (MARTMAP). The prediction...
135
click to vote
ASIACRYPT
2005
Springer
15 years 10 months ago
2005
Springer
The security of key agreement protocols has traditionally been notoriously hard to establish. In this paper we present a modular approach to the construction of proofs of security ...
154
click to vote
LCN
1996
IEEE
15 years 8 months ago
1996
IEEE
Development of new transport protocols or protocol algorithms suffers from the complexity of the envir onment in which they ar e intended to run. Modeling techniques attempt to av...
149
click to vote
APSEC
2005
IEEE
15 years 10 months ago
2005
IEEE
While aspect-oriented modeling has been recognized as a useful means of improving the modularity of software design, the de facto standard modeling language UML lacks first-class...
126
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
We propose a new class of representations that can be used for modeling (and model checking) temporal, strategic and epistemic properties of agents and their teams. Our representa...