406 search results - page 77 / 82 » Identifying Codes and Covering Problems |
NTMS
2009
IEEE
14 years 3 months ago
2009
IEEE
—IPSec is a protocol that allows to make secure connections between branch offices and allows secure VPN accesses. However, the efforts to improve IPSec are still under way; one ...
SCAM
2008
IEEE
14 years 2 months ago
2008
IEEE
Bug-checking tools have been used with some success in recent years to find bugs in software. For finding bugs that can cause security vulnerabilities, bug checking tools requir...
WECWIS
2007
IEEE
14 years 2 months ago
2007
IEEE
Business Process Execution Language (BPEL) is an XML-based language for specifying services. There have been numerous recent research and development efforts in both statically an...
ICSM
2005
IEEE
14 years 2 months ago
2005
IEEE
Design patterns present good solutions to frequently occurring problems in object-oriented software design. Thus their correct application in a system’s design may significantl...
MHCI
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. The field of Remote Vehicle Diagnostics can be described as the remote management of vehicles equipped with electronic control systems. Despite the great potential that i...