1529 search results - page 164 / 306 » On the Construction of Ontologies based on Natural Language ... |
190
click to vote
MODELS
2007
Springer
16 years 17 days ago
2007
Springer
We propose a method for describing architectural aspects in UML and show how binding specifications are used to compose aspects with base models. UML classes, parts, ports, and c...
172
click to vote
JLP
2008
15 years 6 months ago
2008
We explore the power of relational semantics and equational reasoning in the style of Kleene algebra for analyzing programs with mutable, statically scoped local variables. We prov...
188
click to vote
CSFW
2003
IEEE
15 years 11 months ago
2003
IEEE
SPKI/SDSI is a language for expressing distributed access control policy, derived from SPKI and SDSI. We provide a first-order logic (FOL) semantics for SDSI, and show that it ha...
174
click to vote
FDL
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, we propose a domain specific language for the development of hardware/software cryptographic systems based on the well known Python programming language. It is desi...
167
click to vote
COOPIS
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract. Time modeling is a crucial feature in many application domains. However, temporal information often is not crisp, but is uncertain, subjective and vague. This is particul...