741 search results - page 129 / 149 » Automatic Generation and Validation of Models of Legacy Soft... |
131
click to vote
CAISE
2006
Springer
15 years 8 months ago
2006
Springer
Enterprise Systems potentially lead to significant efficiency gains but require a well-conducted configuration process. A promising idea to manage and simplify the configuration pr...
178
click to vote
CHI
2011
ACM
14 years 7 months ago
2011
ACM
The study of creativity has received significant attention over the past century, with a recent increase in interest in collaborative, distributed creativity. We posit that creati...
159
click to vote
BMCBI
2005
15 years 4 months ago
2005
Background: G- Protein coupled receptors (GPCRs) comprise the largest group of eukaryotic cell surface receptors with great pharmacological interest. A broad range of native ligan...
180
click to vote
TROB
2010
14 years 11 months ago
2010
The robot hand applying force on a deformable object will result in a changing wrench space due to the varying shape and normal of the contact area. Design and analysis of a manipu...
221
click to vote
FASE
2011
Springer
14 years 7 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...