624 search results - page 9 / 125 » Application of Lightweight Formal Methods to Software Securi... |
EMSOFT
2004
Springer
15 years 2 months ago
2004
Springer
Embedded devices like smart cards can now run multiple interacting applications. A particular challenge in this domain is to dynamically integrate diverse security policies. In th...
SSR
2001
14 years 10 months ago
2001
As wide-area open networks like the Internet and intranets grow larger, mobile agent technology is attracting more attention. Mobile agents are units of software that can deal wit...
SIGSOFT
2010
ACM
14 years 4 months ago
2010
ACM
We argue that lightweight, language-based verification is poised to enter mainstream industrial use, where it will have a major impact on software quality and reliability. We expl...
102
click to vote
CCS
2010
ACM
15 years 23 days ago
2010
ACM
Cloud computing has emerged as a multi-tenant resource sharing platform, which allows different service providers to deliver software as services in an economical way. However, fo...
WEBI
2005
Springer
15 years 2 months ago
2005
Springer
We present a generic natural language processing (NLP) architecture, acronym QTIL, based on a system of cooperating multiple agents (Q/A, T, I, and L agents) which can be used in ...