1669 search results - page 40 / 334 » Structured Specification of Model Interpreters |
129
Voted
ISORC
2000
IEEE
15 years 7 months ago
2000
IEEE
The decomposition of large systems into parts is a general principle of software design. Even more, in the scope of distributed systems a partition of the whole system into distri...
146
Voted
JUCS
2010
14 years 9 months ago
2010
: Assessing the quality of conceptual models is key to ensure that conceptual models can be used effectively as a basis for understanding, agreement and construction of information...
114
click to vote
DOCENG
2003
ACM
15 years 7 months ago
2003
ACM
A number of applications that process XML documents interpret them as objects of application specific classes in a given domain. Generic interfaces such as SAX and DOM leave this ...
133
Voted
CADE
2008
Springer
16 years 2 months ago
2008
Springer
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...
158
Voted
WEBNET
2000
15 years 3 months ago
2000
: Adaptive hypermedia systems (AHS) have typically been geared towards one specific application or application area, in most cases related to education. The AHA (Adaptive Hypermedi...