Sciweavers

938 search results - page 166 / 188
» Mathematical Modelling the Ethnic System
Sort
View
MMMACNS
2001
Springer
15 years 2 months ago
Typed MSR: Syntax and Examples
Abstract. Many design flaws and incorrect analyses of cryptographic protoAppeared in the Proceedings of the First International Workshop on Mathematical Methods, Models and Archit...
Iliano Cervesato
77
Voted
ARTS
1997
Springer
15 years 2 months ago
Regular Processes and Timed Automata
In 10 , an algebra for timed automata has been introduced. In this article, we introduce a syntactic characterisation of nite timed automata in terms of that process algebra. We s...
Pedro R. D'Argenio
SP
1989
IEEE
160views Security Privacy» more  SP 1989»
15 years 2 months ago
The Chinese Wall Security Policy
Everyone who has seen the movie Wall Street will have seen a commercial security policy in action. The recent work of Clark and Wilson and the WIPCIS initiative (the Workshop on I...
D. F. C. Brewer, M. J. Nash
89
Voted
FLAIRS
2007
15 years 14 days ago
Probabilistic Knowledge Processing and Remaining Uncertainty
Information is indispensable in preparing economic decisions purposefully. In this paper knowledge is represented by a probability distribution. Knowledge acquisition is realized ...
Elmar Reucher, Friedhelm Kulmann
LREC
2010
177views Education» more  LREC 2010»
14 years 11 months ago
LT World: Ontology and Reference Information Portal
LT World (www.lt-world.org) is an ontology-driven web portal aimed at serving the global language technology community. Ontology-driven means, that the system is driven by an onto...
Brigitte Jörg, Hans Uszkoreit, Alastair Burt