326 search results - page 49 / 66 » Embedding Real Time in Stochastic Process Algebras |
WOSP
2005
ACM
14 years 2 months ago
2005
ACM
Evaluation of non-functional properties of a design (such as performance, dependability, security, etc.) can be enabled by design annotations specific to the property to be evalua...
RTAS
2011
IEEE
13 years 9 days ago
2011
IEEE
—The WirelessHART standard has been specifically designed for real-time communication between sensor and actuator devices for industrial process monitoring and control. End-toen...
RTCSA
2007
IEEE
14 years 2 months ago
2007
IEEE
Multicore platforms, which include several processing cores on a single chip, are being widely touted as a solution to heat and energy problems that are impediments to single-core...
RTCSA
2006
IEEE
14 years 2 months ago
2006
IEEE
The modeling approach is not used to its full potential in maintenance of legacy systems. Often, models do not even exist. The main reasons being that the economic implications an...
ICPR
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper proposes a new approach to describe the salient contours in cluttered scenes. No need to do the preprocessing, such as edge detection, we directly use a set of random s...