217 search results - page 37 / 44 » Towards a Mathematical Operational Semantics |
106
click to vote
WISE
2002
Springer
15 years 4 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...
192
Voted
POPL
2003
ACM
15 years 12 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...
189
Voted
ICDE
1997
IEEE
16 years 1 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...
97
Voted
ICMI
2009
Springer
15 years 6 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...
94
Voted
VVEIS
2007
15 years 25 days 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...