7117 search results - page 21 / 1424 » IT Governance Frameworks as Methods |
161
click to vote
CCS
2005
ACM
15 years 9 months ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...
120
Voted
ICEGOV
2007
ACM
15 years 7 months ago
2007
ACM
The paper analyses existing open source licenses with the aim of choosing a license that is suitable for e-Governance projects. A method is presented for systematically choosing t...
106
click to vote
ICCS
2004
Springer
15 years 9 months ago
2004
Springer
For the nonlinear eigenvalue problem T(λ)x = 0 we consider a Jacobi–Davidson type iterative projection method. The resulting projected nonlinear eigenvalue problems are solved b...
166
click to vote
ICWSM
2008
15 years 5 months ago
2008
Digital media lowers barriers to entry and has the ability to renegotiate traditional news-making power structures. However, it remains to be seen whether or not the people that u...
151
click to vote
SIAMCO
2008
15 years 3 months ago
2008
The aim of this paper is to adapt the Viability Theorem from differential inclusions (governing the evolution of vectors in a finite dimensional space) to so-called morphological i...