5205 search results - page 266 / 1041 » Tilings and model theory |
ATAL
2006
Springer
14 years 2 months ago
2006
Springer
In the development of disciplines addressing dynamics, such as Mathematics and Physics, a major role was played by the assumption that processes can be modelled by introducing cer...
ENTCS
2002
13 years 10 months ago
2002
When different mathematical models are used for software analysis and development it is important to understand their relationships. When the models are truly mathematical, and wh...
ECAL
2005
Springer
14 years 4 months ago
2005
Springer
One of the greatest challenges in the modern biological and social sciences has been to understand the evolution of altruistic and cooperative behaviors. General outlines of the an...
HT
2004
ACM
14 years 4 months ago
2004
ACM
Adaptive hypermedia has the goal of contextualizing the display of a hypertext to suit the user and their situation. A variety of aspects of the context can influence the appropri...
IFIP
2004
Springer
14 years 4 months ago
2004
Springer
Abstract This paper introduces new-HOPLA, a concise but powerful language for higherorder nondeterministic processes with name generation. Its origins as a metalanguage for domain ...