821 search results - page 44 / 165 » A Model Driven Approach to the Analysis of Timeliness Proper... |
FMOODS
2007
2007
A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems
13 years 9 months ago
We present a novel approach, based on probabilistic formal methods, to developing cross-layer resource optimization policies for resource limited distributed systems. One objective...
COMPSAC
2005
IEEE
14 years 1 months ago
2005
IEEE
Performance analysis gains more attention in recent years by researchers who focus their study on the early software development stages to mitigate the risk of redesign as problem...
ICWL
2007
Springer
14 years 1 months ago
2007
Springer
Web-based 3D facial animation is an alternative of face to face communication. Animating 3D human faces is also a difficult task because of the substantive non-rigid facial motions...
TROB
2010
13 years 2 months ago
2010
The property of form-closure of a grasp, as generally defined in the literature, is based on the assumption that contact points between the hand and the object are fixed in space. ...
ITSSA
2006
13 years 7 months ago
2006
Abstract: This paper targets the reactive autonomic system's self-monitoring of one of the most important nonfunctional properties, reliability. There are currently no adequat...