4592 search results - page 145 / 919 » Framework for Studying Substitution |
187
Voted
ITP
2010
15 years 11 months ago
2010
The Isabelle Collections Framework (ICF) provides a unified framework for using verified collection data structures in Isabelle/HOL formalizations and generating efficient functi...
167
Voted
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
We lay a foundation for modeling and validation of asynchronous designs in a multi-clock synchronous programming model. This allows us to study properties of globally asynchronous...
196
Voted
WSC
2007
15 years 9 months ago
2007
High performance data grids are increasingly becoming popular platforms to support data-intensive applications. Reducing high energy consumption caused by data grids is a challeng...
186
Voted
WSC
2007
15 years 9 months ago
2007
In this paper, we suggest a framework that allows for the simulation-based performance assessment of complex manufacturing systems with Automated Material Handling Systems (AMHS)....
171
Voted
VAMOS
2010
Springer
15 years 8 months ago
2010
Springer
We discuss the application of deontic logics to the modelling of variabilities in product family descriptions. Deontic logics make it possible to express concepts like permission a...