Sciweavers

9503 search results - page 354 / 1901
» Authenticated System Calls
Sort
View
AUTOMATICA
2005
78views more  AUTOMATICA 2005»
15 years 7 months ago
Problems on time-varying port-controlled Hamiltonian systems: geometric structure and dissipative realization
To apply time-varying port-controlled Hamiltonian (PCH) systems to practical control designs, two basic problems should be dealt with: one is how to provide such time-varying syst...
Yuzhen Wang, Daizhan Cheng, Xiaoming Hu
JCAL
2010
101views more  JCAL 2010»
15 years 2 months ago
Adaptation provisioning with respect to learning styles in a Web-based educational system: an experimental study
Personalized instruction is seen as a desideratum of today's e-learning systems. The focus of this paper is on those platforms that use learning styles as personalization crit...
Elvira Popescu
ACISICIS
2007
IEEE
16 years 1 months ago
2D Barcode and Augmented Reality Supported English Learning System
This study aims to construct a 2D barcode and handheld augmented reality supported learning system called HELLO (Handheld English Language Learning Organization), to improve stude...
Tsung-Yu Liu, Tan-Hsu Tan, Yu-Ling Chu
COMPSAC
2007
IEEE
16 years 1 months ago
Requirements and Evaluation of Protocols and Tools for Transaction Management in Service Centric Systems
As Service Centric (SC) Systems are being increasingly adopted, new challenges and possibilities emerge. Business processes are now able to execute seamlessly across organizations...
Chang-ai Sun, Marco Aiello
FSTTCS
2007
Springer
16 years 1 months ago
Program Analysis Using Weighted Pushdown Systems
Abstract. Pushdown systems (PDSs) are an automata-theoretic formalism for specifying a class of infinite-state transition systems. Infiniteness comes from the fact that each con...
Thomas W. Reps, Akash Lal, Nicholas Kidd