410 search results - page 47 / 82 » Making norms concrete |
TPHOL
2008
IEEE
14 years 2 months ago
2008
IEEE
Although graphs are very common in computer science, they are still very difficult to handle for proof assistants as proving properties of graphs may require heavy computations. T...
ICEIS
2007
IEEE
14 years 1 months ago
2007
IEEE
Although extensive literature on BPR is available, there is still a lack of concrete guidance on actually changing processes for the better. In this paper we propose and detail out...
IEEEARES
2007
IEEE
14 years 1 months ago
2007
IEEE
The importance of critical systems has been widely recognized and several efforts are devoted to integrate dependability requirements in their development process. Such efforts re...
ESWS
2007
Springer
14 years 1 months ago
2007
Springer
The media play an important role in the functioning of our society. This role is extensively studied by Communication Scientists, requiring a systematic analysis of media content. ...
IMA
2007
Springer
14 years 1 months ago
2007
Springer
Key establishment between two parties that uses only one message transmission is referred to as one-pass key establishment (OPKE). OPKE provides the opportunity for very efficient ...