Sciweavers

2903 search results - page 330 / 581
» On the univalence of an integral operator
Sort
View
GLVLSI
2010
IEEE
178views VLSI» more  GLVLSI 2010»
15 years 11 months ago
Improving the testability and reliability of sequential circuits with invariant logic
In this paper, we investigate dual applications for logic implications, which can provide both online error detection capabilities and improve the testing efficiency of an integr...
Nuno Alves, Kundan Nepal, Jennifer Dworak, R. Iris...
HAPTICS
2010
IEEE
15 years 11 months ago
Reflective Haptics: Enhancing Stylus-Based Interactions on Touch Screens
In this paper, we introduce the prototype of a low cost haptically augmented stylus for pen computing on touch screens. The stylus supports human-computer interaction through a dyn...
Götz Wintergerst, Ron Jagodzinski, Fabian Hem...
CASES
2009
ACM
15 years 11 months ago
Automatic detection of fault attack and countermeasures
Security of smart cards is continuously threatened by many software and hardware attacks. Those attacks focus on giving secret information that are stored in the card like PIN cod...
Ahmadou A. Sere, Julien Iguchi-Cartigny, Jean-Loui...
FM
2009
Springer
101views Formal Methods» more  FM 2009»
15 years 11 months ago
Formal Reasoning about Expectation Properties for Continuous Random Variables
Abstract. Expectation (average) properties of continuous random variables are widely used to judge performance characteristics in engineering and physical sciences. This paper pres...
Osman Hasan, Naeem Abbasi, Behzad Akbarpour, Sofi&...
AOSE
2001
Springer
15 years 11 months ago
Modeling Early Requirements in Tropos: A Transformation Based Approach
We are developing an agent-oriented software development methodology, called Tropos, which integrates ideas from multi-agentsystem technologies and RequirementsEngineering researc...
Paolo Bresciani, Anna Perini, Paolo Giorgini, Faus...