2688 search results - page 404 / 538 » A formal semantics for P3P |
265
click to vote
APLAS
2005
ACM
16 years 1 days 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...
156
click to vote
AIED
2005
Springer
16 years 1 days 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...
158
click to vote
ARGMAS
2005
Springer
16 years 1 days 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...
168
click to vote
CAV
2005
Springer
16 years 1 days 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...
163
click to vote
DEXA
2005
Springer
16 years 1 days 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...