Sciweavers

4377 search results - page 745 / 876
» Application Driven Software Development
Sort
View
RTAS
2003
IEEE
15 years 6 months ago
Feedback Control Real-Time Scheduling in ORB Middleware
Existing real-time ORB middleware standards such as RT-CORBA do not adequately address the challenges of 1) providing robust performance guarantees portably across different platf...
Chenyang Lu, Xiaorui Wang, Christopher D. Gill
SAC
2003
ACM
15 years 6 months ago
Validation of Code-Improving Transformations for Embedded Systems
Programmers of embedded systems often develop software in assembly code due to inadequate support from compilers and the need to meet critical speed and/or space constraints. Many...
Robert van Engelen, David B. Whalley, Xin Yuan
ICFEM
2003
Springer
15 years 6 months ago
Generic Interacting State Machines and Their Instantiation with Dynamic Features
Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...
David von Oheimb, Volkmar Lotz
96
Voted
CIKM
2001
Springer
15 years 6 months ago
The Enosys Markets Data Integration Platform: Lessons from the Trenches
Enosys Markets offers a state-of-the-art data integration software platform to support the development of the next generation of eBusiness applications that deliver value by provi...
Yannis Papakonstantinou, Vasilis Vassalos
ISORC
2000
IEEE
15 years 6 months ago
Hybrid Sequence Charts
We introduce Hybrid Sequence Charts (HySCs) as a visual description technique for communication in hybrid system models. To that end, we adapt a subset of the well-known MSC synta...
Radu Grosu, Ingolf Krüger, Thomas Stauner