7080 search results - page 174 / 1416 » Designing High Integrity Systems Using Aspects |
FLAIRS
2003
15 years 28 days ago
2003
We have developed a model-based, distributed architecture that integrates diverse components in a system designed for lunar and planetary surface operations: an astronaut’s spac...
DATE
2006
IEEE
15 years 5 months ago
2006
IEEE
This paper presents an effective approach to formally verify SystemC designs. The approach translates SystemC models into a Petri-Net based representation. The Petri-net model is ...
HT
1993
ACM
15 years 3 months ago
1993
ACM
This paper discusses issues for the design of a Dexter-based cooperative hypermedia architecture and a specific system, DeVise Hypermedia (DHM), developed from this architecture. ...
119
click to vote
FPL
2006
Springer
15 years 3 months ago
2006
Springer
A field-programmable gate array (FPGA) implementation of a new detection algorithm for uncoded multiple inputmultiple output (MIMO) systems based on the complex version of the sph...
ICRA
1998
IEEE
15 years 3 months ago
1998
IEEE
This paper describes guidelines for the design of grippers for use in modular manufacturing workcells. Gripper design is an important and often overlooked aspect of the design of ...