3256 search results - page 638 / 652 » Applications of Formal Methods to System Design and Verifica... |
BMCBI
2010
13 years 7 months ago
2010
Background: Current scoring functions are not very successful in protein-ligand binding affinity prediction albeit their popularity in structure-based drug designs. Here, we propo...
SAC
2008
ACM
13 years 6 months ago
2008
ACM
In recent years role-based access control (RBAC) has been spreading within organizations. However, companies still have considerable difficulty migrating to this model, due to the...
VLDB
2008
ACM
14 years 7 months ago
2008
ACM
Large highly distributed data sets are poorly supported by current query technologies. Applications such as endsystembased network management are characterized by data stored on l...
LCTRTS
2005
Springer
14 years 27 days ago
2005
Springer
Software pipelining is a critical optimization for producing efficient code for VLIW/EPIC and superscalar processors in highperformance embedded applications such as digital sign...
NETGAMES
2004
ACM
14 years 25 days ago
2004
ACM
Distributed multi-player games use dead reckoning vectors to intimate other (at a distance) participating players about the movement of any entity by a controlling player. The dea...