1936 search results - page 212 / 388 » Unbundling Active Functionality |
133
click to vote
CSFW
2007
IEEE
15 years 10 months ago
2007
IEEE
We present a new mechanized prover for showing correspondence assertions for cryptographic protocols in the computational model. Correspondence assertions are useful in particular...
122
Voted
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
The effective management of a supply chain requires performance measures that accurately represent the underlying structure of the supply chain. Measures such as delivery performa...
150
click to vote
IROS
2007
IEEE
15 years 10 months ago
2007
IEEE
—An omnidirectional mobile robot is able, kinematically, to move in any direction regardless of current pose. To date, nearly all designs and analyses of omnidirectional robots h...
130
click to vote
ISCAS
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— This paper reviews on-going efforts towards the development of the Florida Wireless Implantable Recording Electrodes (FWIRE). The FWIRE microsystem platform is a fully ...
137
click to vote
AB
2007
Springer
15 years 10 months ago
2007
Springer
Whenever a programmer writes a loop, or a mathematician does a proof by induction, an invariant is involved. The discovery and understanding of invariants often underlies problem s...