513 search results - page 50 / 103 » An Aspect-Oriented Approach for Mobile Embedded Software Mod... |
ACMICEC
2004
ACM
14 years 2 months ago
2004
ACM
At the present time, the use of mobile technology in business, is becoming an opportunity to generate competitive advantages within organization environments. Mobile technology he...
ESORICS
2010
Springer
13 years 9 months ago
2010
Springer
Remote attestation is the process of verifying internal state of a remote embedded device. It is an important component of many security protocols and applications. Although previo...
VLSID
2003
IEEE
14 years 9 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
SOCO
2008
Springer
13 years 8 months ago
2008
Springer
Abstract. Extensible Component Platforms support the discovery, installation, starting, uninstallation of components at runtime. Since they are often targeted at mobile resource-co...
SEM
2004
Springer
14 years 2 months ago
2004
Springer
The use of handheld networked devices to access information systems by people moving around is spreading rapidly. Systems being used in this way typically face dynamic variation in...