Sciweavers

7117 search results - page 95 / 1424
» IT Governance Frameworks as Methods
Sort
View
IADIS
2003
15 years 5 months ago
Adaptive Hypermedia System Design: A Method From Practice
Adaptive Hypermedia Systems represent a great potential for e-learning; nevertheless instructors and designers find it difficult to develop adaptive application within their frame...
Jacopo Armani, Luca Botturi
SIAMJO
2008
109views more  SIAMJO 2008»
15 years 4 months ago
A Regularized Smoothing Newton Method for Symmetric Cone Complementarity Problems
This paper extends the regularized smoothing Newton method in vector optimization to symmetric cone optimization, which provide a unified framework for dealing with the nonlinear ...
Lingchen Kong, Jie Sun, Naihua Xiu
ICCPOL
2009
Springer
15 years 11 months ago
Probabilistic Methods for a Japanese Syllable Cipher
This paper attacks a Japanese syllable-substitution cipher. We use a probabilistic, noisy-channel framework, exploiting various Japanese language models to drive the decipherment. ...
Sujith Ravi, Kevin Knight
NCA
2008
IEEE
15 years 11 months ago
On the Application of Formal Methods for Specifying and Verifying Distributed Protocols
In this paper we consider the frameworks of Process Algebra and I/O Automata and we apply both towards the verification of a distributed leader-election protocol. Based on the tw...
Marina Gelastou, Chryssis Georgiou, Anna Philippou
HYBRID
2007
Springer
15 years 10 months ago
A Controller Design Method Under Infrequent, Asynchronous Sensing
Abstract. We use discrete quadratic Lyapunov functions to design controllers for a class of systems where time intervals between state measurements are longer than time intervals b...
Fumin Zhang, Naomi Ehrich Leonard