581 search results - page 60 / 117 » Translating dependency into parametricity |
TOOLS
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract. Many real-time systems use runtime structural reconfiguration mechanisms based on dynamic creation and destruction of components. To support such features, UML-RT provid...
CIBCB
2006
IEEE
14 years 4 months ago
2006
IEEE
Abstract— Quantum mechanics and molecular dynamic simulation provide important insights into structural configurations and molecular interaction data today. To extend this atomi...
ICAS
2005
IEEE
14 years 3 months ago
2005
IEEE
Research in overlay and P2P networking has been tightly focused on fundamentals in the last few years, leading to developments on a range of important issues. The time has come to...
SSD
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Query optimization is an important functionality of modern database systems and often based on estimating the selectivity of queries before actually executing them. Well-...
TARK
2005
Springer
14 years 3 months ago
2005
Springer
Two natural strategy elimination procedures have been studied for strategic games. The first one involves the notion of (strict, weak, etc) dominance and the second the notion of...