11063 search results - page 61 / 2213 » On the existence of universal models |
FORMATS
2007
Springer
14 years 4 months ago
2007
Springer
Timed automata were introduced by Alur and Dill in the early 1990s and have since become the most prominent modelling formalism for real-time systems. A fundamental limit to the al...
DAGSTUHL
2007
13 years 11 months ago
2007
The parallel universes idea is an attempt to integrate several aspects of learning which share some common aspects. This is an interesting idea: if successful, insights could cross...
RTA
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. We show that the structures of binding algebras and Σmonoids by Fiore, Plotkin and Turi are sound and complete models of Klop’s Combinatory Reduction Systems (CRSs). T...
CISST
2003
13 years 11 months ago
2003
Modality conversion is an important part in the content adaptation process of a Universal Multimedia Access system. The decision on modality conversion is dependent on terminal/ne...
JITE
2008
13 years 10 months ago
2008
The proliferations of Information and Communications Technology (ICT) and an increase in the number of external students and of the digital youth have put considerable pressure up...