557 search results - page 102 / 112 » Automatic Abstraction for Verification of Timed Circuits and... |
ESOP
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We present a framework that automatically produces suggestions to resolve type errors in security-typed programs, enabling legacy code to be retrofit with comprehensive s...
ICC
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract—Free-space optical (FSO) links are competitive wireless links offering high data rate, security and low system complexity. For mobile applications, e.g., from a ground b...
73
Voted
INFOCOM
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract—The IP Multimedia Subsystem (IMS) is being deployed in the Third Generation (3G) networks since it supports many kinds of multimedia services. However, the security of I...
ICWE
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Communication technologies, such as e-mail, instant messaging, discussion forums, blogs, and newsgroups connect people together, forming virtual communities. This concept...
SGAI
2004
Springer
15 years 3 months ago
2004
Springer
The requirement for Grid middleware to be largely transparent to individual users and at the same time act in accordance with their personal needs is a difficult challenge. In e-...