Sciweavers

7117 search results - page 95 / 1424
» IT Governance Frameworks as Methods
Sort
View
IADIS
2003
15 years 8 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 6 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
16 years 1 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
16 years 1 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
16 years 29 days 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