821 search results - page 19 / 165 » A Model Driven Approach to the Analysis of Timeliness Proper... |
CGI
2006
IEEE
14 years 1 months ago
2006
IEEE
We propose a framework to reconstruct human motion based on monocular camera video and motion database. In this framework, we use silhouettes for rough motion estimation based on a...
WKDD
2010
CPS
14 years 2 months ago
2010
CPS
—A multi-party contract signing (MPCS) protocol allows a set of parties to exchange messages with each other to reach a state in which either each of them has a pre-agreed contra...
SPIN
2004
Springer
14 years 29 days ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
SE
2008
13 years 9 months ago
2008
: Model Driven Software Development (MDSD) has matured over the last few years and is now becoming an established technology. One advantage that is promoted by the MDSD community i...
ECRTS
2004
IEEE
13 years 11 months ago
2004
IEEE
This paper presents a new approach to understand the event stream model. Additionally a new approximation algorithm for the feasibility test of the sporadic and the generalized mu...