6201 search results - page 236 / 1241 » Implementation of Axiomatic Language |
161
click to vote
CN
2007
15 years 5 months ago
2007
Since traditional telecommunication networks assume dumb terminals, there are rarely feature interactions involving end systems. However, in Internet telephony systems, such featur...
144
click to vote
IJAIT
2006
15 years 5 months ago
2006
We present MABLE, a fully implemented programming language for multiagent systems, which is intended to support the automatic verification of such systems via model checking. In a...
151
click to vote
ENTCS
2002
15 years 5 months ago
2002
Practical declarative multi-paradigm languages combine the main features of functional, logic and concurrent programming (e.g., laziness, sharing, higher-order, logic variables, n...
133
click to vote
OOPSLA
2010
Springer
15 years 3 months ago
2010
Springer
We propose a Java-like language where class de nitions are rst class values, hence new classes can be derived from existing, rather than by a xed mechanism like inheritance, by e...
157
click to vote
CNL
2009
15 years 3 months ago
2009
Semantic wikis support the collaborative creation, editing and utilization of semantically-enriched content, and they may therefore be wellsuited to addressing problems associated ...