Sciweavers

555 search results - page 64 / 111
» A Run-time System for SCOOP
Sort
View
DAGSTUHL
2004
13 years 9 months ago
Design for Time-Predictability
A large part of safety-critical embedded systems has to satisfy hard real-time constraints. These need sound methods and tools to derive reliable run-time guarantees. The guarante...
Lothar Thiele, Reinhard Wilhelm
ICST
2008
IEEE
14 years 2 months ago
Verifying and Analyzing Adaptive Logic through UML State Models
It is becoming increasingly important to be able to adapt an application’s behavior at run time in response to changing requirements and environmental conditions. Adaptive progr...
Andres J. Ramirez, Betty H. C. Cheng
OTM
2005
Springer
14 years 1 months ago
A Framework Supporting Dynamic Workflow Interoperation
In this paper, we propose a framework supporting dynamic interoperation between heterogeneous workflow systems and workflow-based dynamic Enterprise Application Integration (EAI)....
Jaeyong Shim, Myungjae Kwak, Dongsoo Han
CSI
2007
98views more  CSI 2007»
13 years 7 months ago
An architecture for flexible scheduling in Profibus networks
Recently, much attention has been given to the need to endow industrial communication networks used in real-time systems with flexible scheduling. This allows control systems to a...
J. Silvestre, V. Sempere
WSC
1998
13 years 9 months ago
Applying Temporal Databases to HLA Data Collection and Analysis
The High Level Architecture (HLA) for distributed simulations was proposed by the Defense Modeling and Simulation Office of the Department of Defense (DOD) in order to support int...
Thom McLean, Leo Mark, Margaret L. Loper, David Ro...