4469 search results - page 327 / 894 » A Language for Role Specifications |
207
click to vote
ASP
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. We integrate an expressive class of description logics (DLs) and answer set programming by extending the latter to support inverted predicates and infinite domains, feat...
185
click to vote
IFIP
2001
Springer
15 years 11 months ago
2001
Springer
It is our contention that information technology is a cultural commodity whose influence is spread through economic and political action of institutions such as the government and...
184
click to vote
POPL
1994
ACM
15 years 11 months ago
1994
ACM
Abstract: The narrowing relation over terms constitutes the basis of the most important operational semantics of languages that integrate functional and logic programming paradigms...
183
click to vote
GIR
2007
ACM
15 years 10 months ago
2007
ACM
Place geo-ontologies have a key role to play in the development of the geospatial-semantic web, with regard to facilitating the search for geographical information and resources. ...
206
click to vote
ESOP
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We propose a new type discipline for the -calculus in which secure information flow is guaranteed by static type checking. Secrecy levels are assigned to channels and are...