2228 search results - page 248 / 446 » Electronic Payment Systems |
117
click to vote
ENGL
2008
15 years 6 months ago
2008
-- The considered converter-fed permanent magnet motor could alternatively be operated in two basically different states - the vector control mode or alternatively the brushless dc...
188
click to vote
JSW
2008
15 years 6 months ago
2008
A notion of open bisimulation is proposed for the Applied Pi Calculus, which extends -calculus in order to facilitate analyzing security protocols. Our notion is based on the label...
185
click to vote
TCAD
2008
15 years 6 months ago
2008
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...
160
click to vote
JSA
1998
15 years 6 months ago
1998
ReGTime1 (Rent Giga
ops someTimes) is a software package for an envisioned \computing power market". ReGTime helps customers to search for providers who allow their workstati...
130
click to vote
VTC
2010
IEEE
15 years 5 months ago
2010
IEEE
—Vehicular networks are on the fast track to become a reality either through a car manufacturer that introduces a communication device in the car electronics or through an afterm...