2065 search results - page 395 / 413 » User interface for multi-agent systems: A case study |
AOSD
2009
ACM
15 years 4 months ago
2009
ACM
Desktop client applications interact with both local and remote resources. This is both a benefit in terms of the rich features desktop clients can provide, but also a security r...
80
Voted
MIR
2004
ACM
15 years 3 months ago
2004
ACM
Although digital images indexing and querying techniques have extensively been studied for the last years, few systems are dedicated to medical images today while the need for con...
DSN
2008
IEEE
14 years 11 months ago
2008
IEEE
Software vulnerabilities are the root cause of a wide range of attacks. Existing vulnerability scanning tools are able to produce a set of suspects. However, they often suffer fro...
AI
2007
Springer
14 years 10 months ago
2007
Springer
In this paper a theory for the synthesis of geometric concepts is presented. The theory is focused on a constructive process that synthesizes a function in the geometric domain re...
TSE
2010
14 years 8 months ago
2010
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...