1336 search results - page 129 / 268 » Modelling and Analysis of PKI-Based Systems Using Process Ca... |
176
click to vote
ICMCS
2006
IEEE
16 years 11 days ago
2006
IEEE
This paper proposes a new approach for the human motion analysis. The main contribution comes from the proposed representation of the human body. Most of already existing systems ...
180
click to vote
FUIN
2007
15 years 6 months ago
2007
The paper presents a method of abstraction for timed systems. To extract an abstract model of a timed system we propose to use static analysis, namely a technique called path compr...
173
click to vote
QEST
2007
IEEE
16 years 19 days ago
2007
IEEE
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
144
click to vote
WSC
2007
15 years 8 months ago
2007
Recent reports have established the need for change in the US health system. Building projects can play an important role in enabling change to support organizational objectives. ...
167
click to vote
RTCSA
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper introduces an exact schedulability analysis for the optional computation model urider a specified failure hypothesis. From this analysis, we propose a solutionfor deter...