1490 search results - page 205 / 298 » Monitoring Mobile Code |
DEXAW
1999
IEEE
15 years 4 months ago
1999
IEEE
In this paper, we overview the current state-of-the-art and future trends in network security and argue that the security requirements of electronic commerce (e-commerce) applicat...
ISCAPDCS
2004
15 years 1 months ago
2004
We present a scheme to protect mobile code from malicious hosts. We propose a transformation scheme that changes the semantics of a program using pseudorandom I/O scrambling, cond...
TPHOL
2009
IEEE
15 years 6 months ago
2009
IEEE
VCC is an industrial-strength verification environment for low-level concurrent system code written in C. VCC takes a program (annotated with function contracts, state assertions,...
GLOBECOM
2007
IEEE
15 years 6 months ago
2007
IEEE
— The optimal deployment of sinks in a sensor region for power efficient data gathering of a physical phenomenon is investigated in this work. In the system of consideration, no...
HICSS
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper presents a test framework to support unit component testing in distributed component-based systems that are built upon component technologies like CORBA, COM/.NET, J2EE...