3256 search results - page 587 / 652 » Applications of Formal Methods to System Design and Verifica... |
VIZSEC
2004
Springer
15 years 3 months ago
2004
Springer
Most visualizations of security-related network data require large amounts of finely detailed, high-dimensional data. However, in some cases, the data available can only be coars...
JCM
2008
14 years 9 months ago
2008
Power consumption is a critical issue for many applications running on autonomous battery operated devices. In the context of low power communications, the use of Forward Error Cor...
WWW
2008
ACM
15 years 10 months ago
2008
ACM
Efficiently finding Web services on the Web is a challenging issue in service-oriented computing. Currently, UDDI is a standard for publishing and discovery of Web services, and U...
IROS
2008
IEEE
15 years 4 months ago
2008
IEEE
— Human-robot interaction (HRI) is now well enough understood to allow us to build useful systems that can function outside of the laboratory. We are studying longterm interactio...
GMP
2006
IEEE
15 years 3 months ago
2006
IEEE
Interactive mesh editing techniques that preserve discrete differential properties are promising to support the design of mechanical parts such as automobile sheet metal panels. H...