741 search results - page 129 / 149 » Automatic Generation and Validation of Models of Legacy Soft... |
CAISE
2006
Springer
15 years 1 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...
112
click to vote
CHI
2011
ACM
14 years 1 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...
BMCBI
2005
14 years 9 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...
113
click to vote
TROB
2010
14 years 4 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...
149
click to vote
FASE
2011
Springer
14 years 1 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...