263 search results - page 43 / 53 » An Extensible Type System for Component-Based Design |
GECCO
2009
Springer
14 years 2 months ago
2009
Springer
We describe a methodology for evolving Java bytecode, enabling the evolution of extant, unrestricted Java programs, or programs in other languages that compile to Java bytecode. B...
OOPSLA
2009
Springer
14 years 2 months ago
2009
Springer
Objects model the world, and state is fundamental to a faithful modeling. Engineers use state machines to understand and reason about state transitions, but programming languages ...
ACSAC
2006
IEEE
13 years 11 months ago
2006
IEEE
Active worms pose major security threats to the Internet. In this paper, we investigate a new class of active worms, i.e., Camouflaging Worm (C-Worm in short). The C-Worm has the ...
TPDS
2008
13 years 7 months ago
2008
Security is increasingly becoming an important issue in the design of real-time parallel applications, which are widely used in the industry and academic organizations. However, ex...
PERCOM
2004
ACM
14 years 7 months ago
2004
ACM
We present MediaBroker, a distributed framework designed to support pervasive computing applications. Specifically, we propose an architecture consisting of a transport engine and...