1573 search results - page 173 / 315 » Signs and Formal Concepts |
105
click to vote
KR
1994
Springer
15 years 6 months ago
1994
Springer
We focus in this paper on some meta-level ontological distinctions among unary predicates, like those between concepts and assertional properties. Three are the main contributions...
130
click to vote
AGTIVE
2007
Springer
15 years 6 months ago
2007
Springer
We show our approach for the definition of Domain Specific Languages integrating both graphical and textual views. The approach is based on the meta-modelling concepts provided by ...
128
click to vote
CCS
2006
ACM
15 years 5 months ago
2006
ACM
Traditional security policies largely focus on access control requirements, which specify who can access what under what circumstances. Besides access control requirements, the av...
111
click to vote
ESWS
2006
Springer
15 years 5 months ago
2006
Springer
Functional descriptions are a central pillar of Semantic Web services. Disregarding details on how to invoke and consume the service, they shall provide a black box description for...
120
click to vote
FM
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the autom...