821 search results - page 144 / 165 » A Model Driven Approach to the Analysis of Timeliness Proper... |
LPAR
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
87
Voted
EMSOFT
2006
Springer
15 years 3 months ago
2006
Springer
Recently, a number of frameworks were proposed to extend interface theory to the domains of single-processor and distributed real-time systems. This paper unifies some of these ap...
TSMC
1998
14 years 11 months ago
1998
Abstract—This paper presents the analysis of motion of a redundant anthropomorphic arm during the writing. The modeling is based on the separation of the prescribed movement into...
145
click to vote
WOSP
1998
ACM
15 years 4 months ago
1998
ACM
The POEMS project is creating an environment for end-to-end performance modeling of complex parallel and distributed systems, spanning the domains of application software, runti...
100
click to vote
TROB
2010
14 years 10 months ago
2010
Abstract—This paper presents a new methodology for the analysis and control of internal forces and center-of-mass (CoM) behavior, which are produced during multicontact interacti...