3951 search results - page 192 / 791 » Automatic amortized analysis |
125
Voted
TOSEM
2002
15 years 4 months ago
2002
Alloy is a little language for describing structural properties. It offers a declaration syntax compatible with graphical object models, and a set-based formula syntax powerful en...
150
click to vote
SIGSOFT
2005
ACM
16 years 5 months ago
2005
ACM
Charmy is a framework for designing and validating architectural specifications. In the early stages of the software development process, the Charmy framework assists the software...
131
click to vote
CISIS
2010
IEEE
15 years 12 months ago
2010
IEEE
—This paper presents a qualitative logic-based method for the steady-state analysis and revision of metabolic networks with inhibition. The approach is able to automatically revi...
118
Voted
CAV
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. While effective methods for bit-level verification of low-level properties exist, system-level properties that entail reasoning about a significant part of the design p...
175
click to vote
WAPCV
2007
Springer
15 years 11 months ago
2007
Springer
In this paper a simulation model for visual attention is discussed and formally analysed. The model is part of the design of a cognitive system which comprises an agent that suppor...