1222 search results - page 76 / 245 » Verifying a File System Implementation |
108
Voted
AUTOMATICA
2005
15 years 2 months ago
2005
: Given a continuous-time controller and a Lyapunov function that shows global asymptotic stability for the closed loop system, we provide several results for modification of the c...
119
Voted
APN
2005
Springer
15 years 8 months ago
2005
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, give...
100
Voted
APN
2006
Springer
15 years 6 months ago
2006
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, given...
187
Voted
IPPS
2010
IEEE
15 years 13 days ago
2010
IEEE
Hadoop is a software framework supporting the Map/Reduce programming model. It relies on the Hadoop Distributed File System (HDFS) as its primary storage system. The efficiency of ...
137
click to vote
AINA
2004
IEEE
15 years 6 months ago
2004
IEEE
A new remote password authentication scheme based on IC cards is proposed in this paper. By using the scheme, a remote password can be authenticated without either a password file...