Sciweavers

6530 search results - page 753 / 1306
» Application Integration
Sort
View
ECOOP
1999
Springer
15 years 11 months ago
Type-Safe Delegation for Run-Time Component Adaptation
Abstract. The aim of component technology is the replacement of large monolithic applications with sets of smaller software components, whose particular functionality and interoper...
Günter Kniesel
RTSS
1999
IEEE
15 years 11 months ago
Implementing a General Real-Time Scheduling Framework in the RED-Linux Real-Time Kernel
Many scheduling paradigms have been studied for realtime applications and real-time communication network. Among them, the most commonly used paradigms include priority-driven, ti...
Yu-Chung Wang, Kwei-Jay Lin
TOOLS
1999
IEEE
15 years 11 months ago
Design and Implementation of a Programmable Coordination Architecture for Mobile Agents
The paper describes the design and the Java implementation of a coordination architecture for mobile agents, based on an object-oriented Linda-like tuple space model, compliant wi...
Giacomo Cabri, Letizia Leonardi, Gabriele Reggiani...
TPHOL
1999
IEEE
15 years 11 months ago
Lifted-FL: A Pragmatic Implementation of Combined Model Checking and Theorem Proving
Combining theorem proving and model checking o ers the tantalizing possibility of e ciently reasoning about large circuits at high levels of abstraction. We have constructed a syst...
Mark Aagaard, Robert B. Jones, Carl-Johan H. Seger
169
Voted
CODES
1998
IEEE
15 years 11 months ago
Combining multiple models of computation for scheduling and allocation
Many applications include a variety off unctions from different domains. Therefore, they are best modeled with a combination of different modeling languages. For a sound design pr...
Dirk Ziegenbein, Rolf Ernst, Kai Richter, Jür...