Sciweavers

9387 search results - page 76 / 1878
» An Optimal Process Model for a Real Time Process
Sort
View
TIME
2005
IEEE
15 years 5 months ago
Analysis of Timed Processes with Data Using Algebraic Transformations
The language of timed µCRL is an extension of an ACP-style process algebra-based language µCRL with time-related features. In this paper we describe this language and its equati...
Michel A. Reniers, Yaroslav S. Usenko
RTSS
2008
IEEE
15 years 6 months ago
Schedulability and Compatibility of Real Time Asynchronous Objects
Abstract—We apply automata theory to specifying behavioral interfaces of objects and show how to check schedulability and compatibility of real time asynchronous objects. The beh...
Mohammad Mahdi Jaghoori, Delphine Longuet, Frank S...
85
Voted
CSE
2009
IEEE
15 years 3 months ago
Real Time Rectification for Stereo Correspondence
Duplicating the full dynamic capabilities of the human eye-brain combination is a difficult task but an important goal because of the wide application that a system which can acqu...
Khurram Jawed, John Morris, Tariq Khan, Georgy L. ...
115
Voted
ECRTS
2003
IEEE
15 years 5 months ago
A Real-Time RMI Framework for the RTSJ
The Real-Time Specification for Java (RTSJ) provides a platform for the development of real-time applications. However, the RTSJ does not take the distribution requirements of re...
Andrew Borg, Andy J. Wellings
OTM
2009
Springer
15 years 6 months ago
Towards a Common Platform to Support Business Processes, Services and Semantics
The search for the Holy Grail in achieving interoperability of business processes, services and semantics continues with every new type or search for the Silver Bullet. Most approa...
Baba Piprani