217 search results - page 37 / 44 » Towards a Mathematical Operational Semantics |
123
Voted
WISE
2002
Springer
15 years 6 months ago
2002
Springer
To make the World Wide Web machine-understandable there is a strong demand both for languages describing metadata and for languages querying metadata. The Resource Description Fram...
217
click to vote
POPL
2003
ACM
16 years 2 months ago
2003
ACM
We introduce a new framework of algebraic pure type systems in which we consider rewrite rules as lambda terms with patterns and rewrite rule application as abstraction applicatio...
223
click to vote
ICDE
1997
IEEE
16 years 3 months ago
1997
IEEE
Transaction delegation, as introduced in ACTA, allows a transaction to transfer responsibility for the operations that it has performed on an object to another transaction. Delega...
114
click to vote
ICMI
2009
Springer
15 years 8 months ago
2009
Springer
Spatial language video retrieval is an important real-world problem that forms a test bed for evaluating semantic structures for natural language descriptions of motion on natural...
117
click to vote
VVEIS
2007
15 years 3 months ago
2007
Being the de-facto standard (object-oriented-OO) method(-logy) for software-intensive systems development, UML with its different diagrams and supporting tools represent nowadays t...