Sciweavers

303 search results - page 8 / 61
» Unifying Theories of Confidentiality
Sort
View
TCS
2008
13 years 9 months ago
Constructibility and decidability versus domain independence and absoluteness
We develop a unified framework for dealing with constructibility and absoluteness in set theory, decidability of relations in effective structures (like the natural numbers), and ...
Arnon Avron
ICALT
2006
IEEE
14 years 4 months ago
Evaluation of a Queuing Theory and Systems Modeling Course Based on UML
This paper presents how a new teaching method in the way that a queuing theory and systems modeling or simulation course can be done, was evaluated by the teachers and the student...
Athanasios Perdos, Alexander Chatzigeorgiou, Georg...