53302 search results - page 138 / 10661 » On the design of a |
FMCAD
2009
Springer
14 years 2 months ago
2009
Springer
—Given an erroneous design, functional verification returns an error trace exhibiting a mismatch between the specification and the implementation of a design. Automated design ...
SUTC
2008
IEEE
14 years 2 months ago
2008
IEEE
— In this paper we discuss the design methodology based on the service-oriented architecture and agile development principles for wireless embedded and sensor networks (WSNs). Th...
ECBS
2007
IEEE
14 years 2 months ago
2007
IEEE
Design patterns document expert design experience in software system development. They have been applied in many existing software systems. However, pattern information is general...
IROS
2007
IEEE
14 years 2 months ago
2007
IEEE
— For the design of an automated transportation system in an actual seaport container terminal, it is necessary to take into consideration the maintenance of operating robots (AG...
RE
2007
Springer
14 years 2 months ago
2007
Springer
We present details of a goal-oriented process for database requirements analysis. This process consists of a number of steps, spanning the spectrum from high-level stakeholder goa...