1318 search results - page 215 / 264 » The formal semantics of the timeER model |
ARGMAS
2005
Springer
15 years 5 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...
92
Voted
CAV
2005
Springer
15 years 5 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...
SEKE
2005
Springer
15 years 5 months ago
2005
Springer
The emerging consensus on the boundaries and main elements of the Software Engineering (SE) discipline represents an opportunity for the engineering of shared conceptualizations t...
CRYPTO
2001
Springer
15 years 4 months ago
2001
Springer
Recently Victor Shoup noted that there is a gap in the widely-believed security result of OAEP against adaptive chosen-ciphertext attacks. Moreover, he showed that, presumably, OA...
109
click to vote
LPNMR
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. Revision programming was introduced as a formalism to describe and enforce updates of belief sets and databases. Revision programming was extended by Fitting who assigned...