Sciweavers

11462 search results - page 546 / 2293
» Developing Application-Centric Methods
Sort
View
ISCAS
2005
IEEE
129views Hardware» more  ISCAS 2005»
16 years 24 days ago
An analytical approach for soft error rate estimation in digital circuits
—Soft errors due to cosmic rays cause reliability problems during lifetime operation of digital systems, which increase exponentially with Moore’s law. The first step in develo...
Ghazanfar Asadi, Mehdi Baradaran Tahoori
TIME
2005
IEEE
16 years 23 days ago
Search Strategies for Resolution in CTL-Type Logics: Extension and Complexity
A clausal resolution approach originally developed for the branching logic CTL has recently been extended to the logics ECTL and ECTL+ . In the application of the resolution rules...
Artie Basukoski, Alexander Bolotov
CAISE
2004
Springer
16 years 18 days ago
Secure Databases: An Analysis of Clark-Wilson Model in a Database Environment
Abstract. Information systems are vulnerable to accidental or malicious attacks. Security models for commercial computer systems exist, but information systems security is often ig...
Xiaocheng Ge, Fiona Polack, Régine Laleau
ICIAR
2004
Springer
16 years 17 days ago
Segmentation Using Saturation Thresholding and Its Application in Content-Based Retrieval of Images
We analyze some of the visual properties of the HSV (Hue, Saturation and Value) color space and develop an image segmentation technique using the results of our analysis. In our me...
A. Vadivel, M. Mohan, Shamik Sural, Arun K. Majumd...
ICRA
2003
IEEE
124views Robotics» more  ICRA 2003»
16 years 14 days ago
Self-assembly in space via self-reconfigurable robots
― Self-assembly systems in space are arguably within the reach of today’s technology based on the research and development of self-reconfigurable robots on earth. This paper pr...
Wei-Min Shen, Peter M. Will, Berok Khoshnevis