147 search results - page 22 / 30 » Combining Control and Data Abstraction in the Verification o... |
BC
2005
13 years 7 months ago
2005
Abstract Equilibrium maintenance during standing in humans was investigated with a 3-joint (ankle, knee and hip) sagittal model of body movement. The experimental paradigm consiste...
HYBRID
2010
Springer
14 years 15 days ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
DAC
1994
ACM
13 years 11 months ago
1994
ACM
In this paper, we present a design methodology management system, which assists designers in selecting a suitable design process and invoking the selected sequence of tools on the...
SMC
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— The underwater environment presents many challenges for robotic sensing including highly variable lighting, the presence of dynamic objects, and the six degree of freed...
MEMOCODE
2003
IEEE
14 years 20 days ago
2003
IEEE
CSP (Communicating Sequential Processes) is a useful algebraic notation for creating a hierarchical behavioural specification for concurrent systems, due to its formal interproces...