1060 search results - page 22 / 212 » Mechanized semantics |
WISE
2008
Springer
15 years 4 months ago
2008
Springer
Systems that support the co-authoring of web sites often allow users to freely edit pages. This can result in semantic inconsistencies within and between pages. We propose a change...
ESOP
2010
Springer
15 years 1 months ago
2010
Springer
Language-based information flow methods offer a principled way to enforce strong security properties, but enforcing noninterference is too inflexible for realistic applications. Se...
156
click to vote
ERCIMDL
2011
Springer
13 years 9 months ago
2011
Springer
In the information retrieval context, resource collections are frequently classified using thesauri. However, the limited semantics provided by thesauri restricts the collection s...
ICDCIT
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. A domain-specific service registry should satisfy two requirements at least: coping with diverse service description requirements from different services; supporting sema...
ASM
2003
ASM
15 years 2 months ago
2003
ASM
Abstract. We compare three specification frameworks for the operationtics of programming languages, abstract state machines (ASMs) and the two incarnations of natural semantics, b...