42 search results - page 8 / 9 » Computational Semantics for Basic Protocol Logic - A Stochas... |
OTM
2004
Springer
14 years 29 days ago
2004
Springer
Abstract. This paper presents a knowledge-based approach to eLearning, where the domain ontology plays central role as a resource structuring the learning content and supporting ļ¬...
ESAS
2004
Springer
14 years 1 months ago
2004
Springer
The common perception of public key cryptography is that it is complex, slow and power hungry, and as such not at all suitable for use in ultra-low power environments like wireless...
BIRTHDAY
2010
Springer
13 years 6 months ago
2010
Springer
m, modules, types and operations), different kinds of abstractions (functional/data, types/objects etc.) without falling into a loose collection of diagram languages. Considering a...
FORMATS
2003
Springer
14 years 25 days ago
2003
Springer
Probabilistic timed automata, a variant of timed automata extended with discrete probability distributions, is a speciļ¬cation formalism suitable for describing both nondeterminis...
ICCS
2001
Springer
14 years 1 days ago
2001
Springer
Nowadays, people start to accept fuzzy ruleābased systems as ļ¬exible and convenient tools to solve a myriad of illādeļ¬ned but otherwise (for humans) straightforward tasks s...