1742 search results - page 229 / 349 » An Applicative Module Calculus |
BPM
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. Public-key cryptography is a prerequisite for security in distributed systems and for reliable electronic commerce. The protection of public keys against attacks is the A...
HUC
2003
Springer
14 years 2 months ago
2003
Springer
We present a 2-way selection method to select objects in a physical environment with a novel feedback and transfer of control mechanism. A modulated laser pointer signal sent from ...
DATE
2010
IEEE
14 years 2 months ago
2010
IEEE
—Packaging becomes an important issue in aerospace equipments because of high integration and severe environmental constraints. In order to develop products which respond to the ...
CHI
2000
ACM
14 years 1 months ago
2000
ACM
Discrete and continuous modes of manual control are fundamentally different: buttons select or change state, while handles persistently modulate an analog parameter. User interfac...
ASPDAC
1999
ACM
14 years 1 months ago
1999
ACM
We present a novel formulation, called the WaMPDE, for solving systems with forced autonomous components. An important feature of the WaMPDE is its ability to capture frequency mo...