5205 search results - page 64 / 1041 » Tilings and model theory |
ESORICS
2010
Springer
13 years 10 months ago
2010
Springer
This paper presents a theory of runtime enforcement based on mechanism models called MRAs (Mandatory Results Automata). MRAs can monitor and transform security-relevant actions and...
BIRTHDAY
2003
Springer
14 years 2 months ago
2003
Springer
Chomsky’s theory of syntax came after criticism of probabilistic associative models of word order in sentences. Immediate constituent structures are plausible but their descripti...
SEFM
2008
IEEE
14 years 3 months ago
2008
IEEE
We present a process algebra for modeling and reasoning about Mobile Ad hoc Networks (MANETs) and their protocols. In our algebra we model the essential modeling concepts of ad ho...
ER
1993
Springer
14 years 29 days ago
1993
Springer
Two major problems in schema integration are to identify correspondences between different conceptual schemas and to verify that the proposed correspondences are consistent with th...
IADIS
2004
2004
Implementing Cognitive Modellig in CS Education: Aligning Theory and Practice of Learning to Program
13 years 10 months ago
It can be argued that although computer science may seem one of the best researched areas, it could also be one of the worst taught. In this research we examine the residual probl...