2935 search results - page 91 / 587 » An Integrated Approach to High Integrity Software Verificati... |
105
click to vote
MSR
2006
ACM
15 years 10 months ago
2006
ACM
In software evolution research logical coupling has extensively been used to recover the hidden dependencies between source code artifacts. They would otherwise go lost because of...
160
click to vote
APSEC
2009
IEEE
15 years 2 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
125
click to vote
CCS
2009
ACM
15 years 11 months ago
2009
ACM
We introduce HAIL (High-Availability and Integrity Layer), a distributed cryptographic system that allows a set of servers to prove to a client that a stored file is intact and r...
132
click to vote
VTC
2007
IEEE
15 years 10 months ago
2007
IEEE
— In this paper, design requirements and advanced approaches for improved performance UHF radio frequency identification (RFID) tags are presented. Organic substrates are examine...
258
click to vote
HAPTICS
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper we present a novel approach for simulating the rigid body dynamics of a haptically manipulated object using implicit integration. Our formulation requires the linear...