Sciweavers

2421 search results - page 19 / 485
» Integrity Assurance Technique Using Determinant Approach
Sort
View
COMPSAC
2009
IEEE
14 years 5 months ago
HEAT: An Integrated Static and Dynamic Approach for Thread Escape Analysis
Thread escape analysis, which determines whether and when a variable becomes shared by multiple threads, is a foundation for many other program analyses. Most existing escape anal...
Qichang Chen, Liqiang Wang, Zijiang Yang
SIGSOFT
2008
ACM
14 years 11 months ago
Automated identification of parameter mismatches in web applications
Quality assurance techniques for web applications have become increasingly important as web applications have gained in popularity and become an essential part of our daily lives....
William G. J. Halfond, Alessandro Orso
DATE
2006
IEEE
72views Hardware» more  DATE 2006»
14 years 5 months ago
HDL models of ferromagnetic core hysteresis using timeless discretisation of the magnetic slope
A new methodology is presented to assure numerically reliable integration of the magnetisation slope in the JilesAtherton model of ferromagnetic core hysteresis. Two HDL implement...
Hessa Al-Junaid, Tom J. Kazmierski
ICCCN
2007
IEEE
14 years 5 months ago
Design Techniques for Streamlined Integration and Fault Tolerance in a Distributed Sensor System for Line-crossing Recognition
Abstract — Distributed sensor system applications (e.g., wireless sensor networks) have been studied extensively in recent years. Such applications involve resource-limited embed...
Chung-Ching Shen, Roni Kupershtok, Shuvra S. Bhatt...
SWS
2004
ACM
14 years 4 months ago
Applying hierarchical and role-based access control to XML documents
W3C Recommendations XML Encryption and XML-Digital Signature can be used to protect the confidentiality of and provide assurances about the integrity of XML documents transmitted...
Jason Crampton