7080 search results - page 1208 / 1416 » Designing High Integrity Systems Using Aspects |
144
Voted
IJRR
2000
15 years 3 months ago
2000
The inverse kinematics problem is formulated as a parameterized autonomous dynamical system problem, and respective analysis is carried out. It is shown that a singular point of w...
105
click to vote
CHI
2009
ACM
16 years 4 months ago
2009
ACM
Although usability is the core aspect of the whole HCI research field, it still waits for its economic breakthrough. There are some corporations that are famous for their usable p...
146
Voted
CISS
2008
IEEE
15 years 10 months ago
2008
IEEE
—Reliable wireless communications often requires accurate knowledge of the underlying multipath channel. This typically involves probing of the channel with a known training wave...
117
Voted
SIGUCCS
2000
ACM
15 years 8 months ago
2000
ACM
We presented a paper in Denver that addressed our Remedy design process. At that time we talked about our current development process, but we hadn't implemented the product a...
159
Voted
TPHOL
1999
IEEE
15 years 8 months ago
1999
IEEE
Abstract. We describe the key features of the proof description language of Declare, an experimental theorem prover for higher order logic. We take a somewhat radical approach to p...