1690 search results - page 19 / 338 » Algorithmic Properties of Millstream Systems |
105
click to vote
CADE
2010
Springer
15 years 25 days ago
2010
Springer
We consider security properties of cryptographic protocols, that are either trace properties (such as confidentiality or authenticity) or equivalence properties (such as anonymity ...
108
click to vote
IJCV
2006
14 years 11 months ago
2006
Gesture and speech are co-expressive and complementary channels of a single human language system. While speech carries the major load of symbolic presentation, gesture provides th...
105
click to vote
ISAAC
2010
Springer
14 years 9 months ago
2010
Springer
The concept of neighbor system, introduced by Hartvigsen (2009), is a set of integral vectors satisfying a certain combinatorial property. In this paper, we reveal the relationship...
CAV
2004
Springer
15 years 5 months ago
2004
Springer
Verifying whether an ω-regular property is satisfied by a finite-state system is a core problem in model checking. Standard techniques build an automaton with the complementary ...
91
Voted
ICCAD
2007
IEEE
15 years 8 months ago
2007
IEEE
— The orientation of a bus is defined as the direction from the Least Significant Bit (LSB) to the Most Significant Bit (MSB). Bused pin flipping is a property that allows severa...