875 search results - page 10 / 175 » Specification Modules for Methodical System Development |
DATE
2002
IEEE
15 years 2 months ago
2002
IEEE
The specification, design and implementation of embedded systems demands new approaches which go beyond traditional hardware-based notations such as HDLs. The growing dominance of...
ICRA
2007
IEEE
15 years 4 months ago
2007
IEEE
— This paper presents a development of multi-fingered hand, which is modularized and can be attached to life-size humanoid robots. The developed hand has four fingers with 17 joi...
ICCS
2007
Springer
15 years 3 months ago
2007
Springer
This paper describes a preliminary cyberinfrastructure for contaminant characterization in water distribution systems and its deployment on the grid. The cyberinfrastructure consis...
86
Voted
GLOBECOM
2007
IEEE
15 years 4 months ago
2007
IEEE
— The optimum resource allocation is an important method to improve the error performance and energy efficiency of wireless relay networks. In this paper, we consider the resour...
108
Voted
IFIP13
2004
14 years 11 months ago
2004
: This paper proposes a development process for interactive systems based both on verification and validation methods. Our approach is formal and use at first the B Method. We show...