Sciweavers

3341 search results - page 373 / 669
» A Communication Virtual Machine
Sort
View
APSEC
2004
IEEE
15 years 8 months ago
Partitioning of Java Applications to Support Dynamic Updates
The requirement for 24/7 availability of distributed applications complicates their maintenance and evolution as shutting down such applications to perform updates may not be an a...
Robert Pawel Bialek, Eric Jul, Jean-Guy Schneider,...
183
Voted
ATAL
2006
Springer
15 years 8 months ago
Multiagent simulation meets the real world
To realize large scale socially embedded systems, this paper proposes a multiagent-based participatory design that consists of steps called 1) participatory simulation, where scen...
Toru Ishida
130
Voted
EUC
2004
Springer
15 years 8 months ago
Hardware Mediators: A Portability Artifact for Component-Based Systems
Abstract. In this article we elaborate on portability in componentbased operating systems, focusing in the hardware mediator construct proposed by Frhlich in the Application-Orient...
Fauze Valério Polpeta, Antônio August...
APLAS
2003
ACM
15 years 8 months ago
Executing Verified Compiler Specification
Abstract. Much work has been done in verifying a compiler specification, both in hand-written and mechanical proofs. However, there is still a gap between a correct compiler specif...
Koji Okuma, Yasuhiko Minamide
ECOOP
2000
Springer
15 years 8 months ago
Load-Time Structural Reflection in Java
The standard reflection API of Java provides the ability to introspect a program but not to alter program behavior. This paper presents an extension to the reflection API for addr...
Shigeru Chiba