2685 search results - page 406 / 537 » A Formal Semantics for SPKI |
263
click to vote
APLAS
2005
ACM
15 years 12 months ago
2005
ACM
Message Sequence Charts (MSCs) are a graphical language for the description of scenarios in terms of message exchanges between communicating components in a distributed environment...
153
click to vote
AIED
2005
Springer
15 years 12 months ago
2005
Springer
In this paper, we present an ontology of educational theories their relation to learning design. This ontology takes into account learning design (LD) specifications such as OUNL-E...
155
click to vote
ARGMAS
2005
Springer
15 years 12 months ago
2005
Springer
One form of argument-based negotiation is when agents argue about why an offer was rejected. If an agent can state a reason for a rejection of an offer, the negotiation process m...
164
click to vote
CAV
2005
Springer
15 years 12 months ago
2005
Springer
In this paper, we present the features of Romeo, a Time Petri Net (TPN) analyzer. The tool Romeo allows state space computation of TPN and on-the-fly model-checking of reachabilit...
158
click to vote
DEXA
2005
Springer
15 years 12 months ago
2005
Springer
In relational database systems a combination of privileges and views is employed to limit a user’s access and to hide non-public data. The data privacy problem is to decide wheth...