4036 search results - page 99 / 808 » Formal Methods |
143
click to vote
CHES
2006
Springer
15 years 8 months ago
2006
Springer
This paper presents a Path Swapping (PS) method which enables to enhance the security of Quasi Delay Insensitive Asynchronous Circuits against Power Analysis (PA) attack. This appr...
146
click to vote
WCRE
2009
IEEE
15 years 11 months ago
2009
IEEE
Feature models are widely employed in domainspecific software development to specify the domain requirements with commonality and variability. A feature model is usually construct...
178
click to vote
IFIP13
2004
15 years 6 months ago
2004
: This paper proposes a development process for interactive systems based both on verification and validation methods. Our approach is formal and use at first the B Method. We show...
149
click to vote
EUROCAST
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper presents a new general method for obstacle representation in the configuration space (C-space) for redundant robots. The method is based on the analytical dec...
182
click to vote
FMOODS
2007
2007
A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems
15 years 6 months ago
We present a novel approach, based on probabilistic formal methods, to developing cross-layer resource optimization policies for resource limited distributed systems. One objective...