123 search results - page 6 / 25 » Multi-level Modeling for Industrial Automation Systems |
ICCAD
2007
IEEE
13 years 10 months ago
2007
IEEE
Stepwise refinement is at the core of many approaches to synthesis and optimization of hardware and software systems. For instance, it can be used to build a synthesis approach for...
MSR
2010
ACM
13 years 8 months ago
2010
ACM
-- A bug-tracking system such as Bugzilla contains bug reports (BRs) collected from various sources such as development teams, testing teams, and end users. When bug reporters subm...
ALGORITHMICA
2000
13 years 6 months ago
2000
This paper explores a method of manipulating a planar rigid part on a conveyor belt using a robot with just one joint. This approach has the potential of offering a simple and fle...
GTTSE
2007
Springer
14 years 26 days ago
2007
Springer
Abstract. Feature Models (FMs) are a key artifact for variability and commonality management in Software Product Lines (SPLs). In this context, the merging of FMs is being recogniz...
ETS
2002
IEEE
13 years 6 months ago
2002
IEEE
Computer simulation is used extensively both as an educational tool and within industry. It can be employed as a means of developing a new process or system or as a means of exper...