This paper presents a survey of results in developing Real-Time CORBA, a standard for real-time management of distributed objects. The paper includes background on two areas that ...
Victor Fay Wolfe, Lisa Cingiser DiPippo, Roman Gin...
We develop and study the complexity of propositional proof systems of varying strength extending resolution by allowing it to operate with disjunctions of linear equations instead ...
Service-oriented architecture facilitates rapid development and management of large-scale distributed servicebased systems (SBS), where new workflows are composed of available serv...
-- A main prerequisite for the successful development of real-time systems is the capability for debugging and monitoring of these systems. The debugging of real-time systems is mo...
- Early estimation of the execution time of Real-Time embedded SW is an essential task in complex, HW/SW embedded system design. Application SW execution time estimation requires t...