Sciweavers

9503 search results - page 261 / 1901
» Authenticated System Calls
Sort
View
ICWL
2003
Springer
16 years 14 days ago
Wireless AnyServer - A Mobile ad hoc Web-Based Learning System
Abstract. Wireless technology can enhance the Web-based learning applications with efficiency and effectiveness. This paper presents the design and implementation of a novel Wirele...
Leung Cheng, Pui-on Au, Weijia Jia
IPPS
1999
IEEE
15 years 11 months ago
Shuffle Memory System
This paper proposes a new memory system called shuffle memory. The shuffle memory is a generalization of transposition memory that has been widely used in 2-D Discrete Cosine Tran...
Kichul Kim
HYBRID
2000
Springer
15 years 11 months ago
Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations
A general verification algorithm is described. It is then shown how ellipsoidal methods developed by A. B. Kurzhanski and P. Varaiya can be adapted to the algorithm. New numerical ...
Oleg Botchkarev, Stavros Tripakis
FUIN
2007
91views more  FUIN 2007»
15 years 7 months ago
Towards a Framework for Modelling Behaviours of Hybrid Systems
The paper is devoted to characterizing hybrid systems by specifying their possible runs, called processes, where each process is represented by a pomset in an intrinsic, global tim...
Józef Winkowski
AAI
2004
127views more  AAI 2004»
15 years 7 months ago
Evaluating The Regret System
The ReGreT system is a trust and reputation mechanism that uses, among other things, social information to improve the calculation of trust and reputation measures. Using a framew...
Jordi Sabater