Sciweavers

7117 search results - page 21 / 1424
» IT Governance Frameworks as Methods
Sort
View
CCS
2005
ACM
15 years 4 months ago
A rewriting-based inference system for the NRL protocol analyzer: grammar generation
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...
Santiago Escobar, Catherine Meadows, José M...
ICEGOV
2007
ACM
15 years 2 months ago
Analysis of popular open source licenses and their applicability to e-governance
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...
Jaijit Bhattacharya, Sourabh Suman
ICCS
2004
Springer
15 years 4 months ago
A Jacobi-Davidson Method for Nonlinear Eigenproblems
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...
Heinrich Voss
ICWSM
2008
15 years 10 days ago
The Politics of Sourcing: A Study of Journalistic Practices in the Blogosphere
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...
Gina Walejko, Thomas Ksiazek
102
Voted
SIAMCO
2008
108views more  SIAMCO 2008»
14 years 10 months ago
A Viability Theorem for Morphological Inclusions
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...
Thomas Lorenz