290 search results - page 34 / 58 » A Denotational Semantics for Handel-C |
102
click to vote
ESORICS
2008
Springer
15 years 1 months ago
2008
Springer
The UML is the de facto standard for system specification, but offers little specialized support for the specification and analysis of policies. This paper presents Deontic STAIRS,...
138
click to vote
ODR
2008
15 years 1 months ago
2008
The paper has two goals: firstly, we explain how ontology mapping formalisms can be used to denote the many interpretations of a given legal concept; secondly, we provide a short c...
110
click to vote
SCANGIS
2003
15 years 1 months ago
2003
Topographic data sets produced by the National Mapping Agencies (NMAs) are an essential part of Spatial Data Infrastructures (SDIs). Both global and European developments will deno...
101
click to vote
FIW
2000
15 years 1 months ago
2000
The CHISEL notation was developed by Bellcore as an informal graphical notation for describing telecomms services and features. CRESS (CHISEL Representation Employing Systematic S...
CORR
2010
Springer
14 years 12 months ago
2010
Springer
In this paper we present a simple database definition language: that of categories and functors. A database schema is a category and a state is a set-valued functor. We show that m...