3688 search results - page 399 / 738 » Static analysis of aspects |
225
click to vote
FROCOS
2007
Springer
16 years 1 months ago
2007
Springer
We offer a transition system representing a high-level but detailed architecture for SMT solvers that combine a propositional SAT engine with solvers for multiple disjoint theorie...
181
click to vote
MKM
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. We have formalized material from an introductory real analysis textbook in the proof assistant Scunak. Scunak is a system based on set theory encoded in a dependent type ...
168
click to vote
ICSOC
2005
Springer
16 years 10 days ago
2005
Springer
Web processes are next generation workflows on the web, created using Web services. In this paper we demonstrate the METEOR-S Configuration and Execution Environment (MCEE1 ) syste...
174
click to vote
ISLPED
2004
ACM
16 years 8 days ago
2004
ACM
Modeling and estimation of switching activities remain to be important problems in low-power design and fault analysis. A probabilistic Bayesian Network based switching model can ...
179
click to vote
ISMIR
2004
Springer
16 years 6 days ago
2004
Springer
(150-200 words) The MIDI Toolbox is a compilation of functions for analyzing and visualizing MIDI files in the Matlab computing environment. In this article, the basic issues of th...