10159 search results - page 337 / 2032 » System Design Validation Using Formal Models |
145
click to vote
GECCO
2007
Springer
15 years 7 months ago
2007
Springer
The multi domain nature of a mechatronic system makes it difficult to model using a single modeling technique over the whole system as varying sets of system variables are require...
111
click to vote
ECOWS
2006
Springer
15 years 7 months ago
2006
Springer
Web Services are increasingly being used to create a wide range of distributed systems, many of which involve legacy software. Developing service interfaces for these legacy syste...
141
click to vote
TSE
2002
15 years 3 months ago
2002
A number of papers have investigated the relationships between design metrics and the detection of faults in object-oriented software. Several of these studies have shown that suc...
133
click to vote
IJRR
2008
15 years 3 months ago
2008
Designing distributed controllers for self-reconfiguring modular robots has been consistently challenging. We have developed a reinforcement learning approach which can be used bo...
129
click to vote
WCE
2007
15 years 5 months ago
2007
—A new approach to perform feasibility studies using business process models is proposed. The utilization of the improved Role Activity Diagram notations has led to the extractio...