141
click to vote
DEON
2006
Springer
15 years 6 months ago
2006
Springer
A general logical framework is presented to represent speech acts that have institutional effects. It is based on the concepts of the Speech Act Theory and takes the form of the FI...
DEON
2006
Springer
15 years 6 months ago
2006
Springer
150
click to vote
DEON
2006
Springer
15 years 6 months ago
2006
Springer
In this paper we extend earlier work on deontic deadlines in CTL to the framework of alternating time temporal logic (ATL). The resulting setting enables us to model several concep...
134
click to vote
DELTA
2006
IEEE
15 years 6 months ago
2006
IEEE
The efficiency of the Public Key encryption systems like RSA and ECC can be improved with the adoption of a faster multiplication scheme. In this paper, Modified Montgomery multip...
102
Voted
DELTA
2006
IEEE
15 years 6 months ago
2006
IEEE