1397 search results - page 237 / 280 » On the Need for Practical Formal Methods |
MOBIHOC
2010
ACM
13 years 5 months ago
2010
ACM
Comparing with the classical barcode system, RFID extends the operational distance from inches to a number of feet (passive RFID tags) or even hundreds of feet (active RFID tags)....
ICB
2009
Springer
13 years 5 months ago
2009
Springer
Biometric authentication over public networks leads to a variety of privacy issues that needs to be addressed before it can become popular. The primary concerns are that the biomet...
ICRA
2009
IEEE
13 years 5 months ago
2009
IEEE
To improve on current methods of minimally invasive surgery, research is being carried out on systems that will permit procedures to be conducted on the micro-scale using remotely ...
CJ
2010
13 years 5 months ago
2010
Energy efficiency is increasingly important for future information and communication technologies (ICT), because the increased usage of ICT, together with increasing energy costs a...
CORR
2011
Springer
13 years 2 months ago
2011
Springer
—The problem of stabilizing an unstable plant over a noisy communication link is an increasingly important one that arises in problems of distributed control and networked contro...