4631 search results - page 41 / 927 » Experiences with an Environment Generation System |
CODES
1998
IEEE
14 years 2 months ago
1998
IEEE
Next generation embedded systems place new demands on an efficient methodology for their design and verification. These systems have to support interaction over a network, multipl...
DILS
2005
Springer
14 years 3 months ago
2005
Springer
Unbiased metabolomic surveys are used for physiological, clinical and genomic studies to infer genotype-phenotype relationships. Long term reusability of metabolomic data needs bot...
RSP
2005
IEEE
14 years 3 months ago
2005
IEEE
We present an integrated system design environment for SystemC, called SyCE. The system consists of several components for efficient analysis, verification and debugging of Syst...
ICRA
2002
IEEE
14 years 3 months ago
2002
IEEE
This paper summarizes ongoing work with a mobile manipulator (Mobipulator). We describe the system architecture of the latest version of the robot, a hierarchy of robot motion com...
ECMDAFA
2008
Springer
13 years 12 months ago
2008
Springer
Abstract. In this paper we report on our experience on using the socalled model-driven security approach in an MDA industrial project. In model-driven security, "designers spe...