39 search results - page 8 / 8 » What Not to Do When Writing an Interpreter for Specialisatio... |
JFP
2006
13 years 5 months ago
2006
Even in statically typed languages it is useful to have certain invariants checked dynamically. Findler and Felleisen gave an algorithm for dynamically checking expressive highero...
ATAL
2010
Springer
13 years 6 months ago
2010
Springer
An organizational modeling language can be used to specify an agent organization in terms of its roles, organizational structure, norms, etc. Such an organizational specification ...
VR
2010
IEEE
13 years 3 months ago
2010
IEEE
Non-photorealistically rendered (NPR) immersive virtual environments (IVEs) can facilitate conceptual design in architecture by enabling preliminary design sketches to be previewe...
BIRTHDAY
2009
Springer
13 years 3 months ago
2009
Springer
Analytical models are a fundamental tool in the development of computer-based systems of every kind: their essential purpose is to support human understanding and reasoning in deve...