242 search results - page 24 / 49 » Using Abstract State Machines at Microsoft: A Case Study |
TOOLS
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract. Virtual machines (VMs) emulating hardware devices are generally implemented in low-level languages for performance reasons. This results in unmaintainable systems that ar...
IJCNN
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract— We present a novel framework that applies a metalearning approach to clustering algorithms. Given a dataset, our meta-learning approach provides a ranking for the candi...
CHARME
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We define and study a quantitative generalization of the traditional boolean framework of model-based specification and verification. In our setting, propositions have...
ICML
2010
IEEE
13 years 8 months ago
2010
IEEE
We study the problem of uncertainty in the entries of the Kernel matrix, arising in SVM formulation. Using Chance Constraint Programming and a novel large deviation inequality we ...
ADAEUROPE
2007
Springer
14 years 1 months ago
2007
Springer
When developing concurrent software, a proper engineering practice is to choose a good level of abstraction for expressing concurrency control. Ideally, this level should provide p...