Sciweavers

8068 search results - page 167 / 1614
» Java Data Objects
Sort
View
115
Voted
ICSE
2003
IEEE-ACM
16 years 2 months ago
The Vienna Component Framework Enabling Composition Across Component Models
The Vienna Component Framework (VCF) supports the interoperability and composability of components across different component models, a facility that is lacking in existing compon...
Johann Oberleitner, Thomas Gschwind, Mehdi Jazayer...
SCAM
2005
IEEE
15 years 8 months ago
A Fast Analysis for Thread-Local Garbage Collection with Dynamic Class Loading
Long-running, heavily multi-threaded, Java server applications make stringent demands of garbage collector (GC) performance. Synchronisation of all application threads before garb...
Richard E. Jones, Andy C. King
115
Voted
ECBS
2003
IEEE
145views Hardware» more  ECBS 2003»
15 years 8 months ago
Model Checking and Evidence Exploration
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...
Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka
136
Voted
ICWL
2003
Springer
15 years 8 months ago
A New Architecture for Web-Based Virtual Laboratory with CORBA Technology
This paper proposes a new architecture for web-based virtual laboratory with CORBA technology. In the architecture, Java Applet acts as the client tool, CORBA acts as the communica...
Jianxin Wang, Weini Lu, Weijia Jia
118
Voted
ICCL
1998
IEEE
15 years 7 months ago
Design and Implementation of Triveni: A Process-Algebraic API for Threads + Events
We describe Triveni, a framework and API for integrating threads and events. The design of Triveni is based on an algebra, including preemption combinators, of processes. Triveni ...
Christopher Colby, Lalita Jategaonkar Jagadeesan, ...