4469 search results - page 13 / 894 » A Language for Role Specifications |
AAAI
2006
15 years 1 months ago
2006
Language engineers often point to tight connections between their systems' linguistic representations and accumulated sensor data as a sign that their systems really mean wha...
98
Voted
EDOC
2000
IEEE
15 years 4 months ago
2000
IEEE
This paper introduces the Ponder language for specifying distributed object enterprise concepts. Ponder, is a declarative language, which permits the specification of policies in ...
RIAO
2000
15 years 1 months ago
2000
It is a traditional belief that in order to scale-up to more effective retrieval and access methods modern Information Retrieval has to consider more the text content. The modalit...
ESORICS
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Cryptographic protocols are useful for engineering trust in transactions. There are several languages for describing these protocols, but these tend to capture the commun...
DSVIS
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. In this paper we argue that using verification in interactive systems development is more than just checking whether the specification of the system has all the required ...