Sciweavers

3335 search results - page 126 / 667
» Grid result checking
Sort
View
160
Voted
ESORICS
2002
Springer
16 years 3 months ago
TINMAN: A Resource Bound Security Checking System for Mobile Code
Resource security pertains to the prevention of unauthorized usage of system resources that may not directly cause corruption or leakage of information. A common breach of resource...
Aloysius K. Mok, Weijiang Yu
ICCAD
2007
IEEE
109views Hardware» more  ICCAD 2007»
16 years 11 days ago
Inductive equivalence checking under retiming and resynthesis
Retiming and resynthesis are among the most important techniques for practical sequential circuit optimization. However, their applicability is much limited due to verification c...
Jie-Hong Roland Jiang, Wei-Lun Hung
BPM
2009
Springer
146views Business» more  BPM 2009»
15 years 10 months ago
Instantaneous Soundness Checking of Industrial Business Process Models
We report on a case study on control-flow analysis of business process models. We checked 735 industrial business process models from financial services, telecommunications and o...
Dirk Fahland, Cédric Favre, Barbara Jobstma...
146
Voted
GLVLSI
2008
IEEE
120views VLSI» more  GLVLSI 2008»
15 years 10 months ago
SAT-based equivalence checking of threshold logic designs for nanotechnologies
Novel nano-scale devices have shown promising potential to overcome physical barriers faced by complementary metaloxide semiconductor (CMOS) technology in future circuit design. H...
Yexin Zheng, Michael S. Hsiao, Chao Huang
ICRA
2008
IEEE
140views Robotics» more  ICRA 2008»
15 years 10 months ago
Dynamic visibility checking for vision-based motion planning
— An important problem in position-based visual servoing (PBVS) is to guarantee that a target will remain within the field of view for the duration of the task. In this paper, w...
Simon Léonard, Elizabeth A. Croft, James J....