1855 search results - page 218 / 371 » Composing model programs for analysis |
124
click to vote
ICCS
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Performance understanding and prediction are extremely important goals for guiding the application of program optimizations or in helping programmers focus their efforts...
114
click to vote
SOSP
1997
ACM
15 years 4 months ago
1997
ACM
This paper presents a new model for controlling information flow in systems with mutual distrust and decentralized authority. The model allows users to share information with dis...
141
click to vote
CONSTRAINTS
2008
15 years 3 months ago
2008
We present the Auckland Layout Model (ALM), a constraint-based technique for specifying 2D layout as it is used for arranging the controls in a GUI. Most GUI frameworks offer layo...
135
Voted
UML
2004
Springer
15 years 8 months ago
2004
Springer
This report summarizes the outcome of the 5th Workshop on AspectOriented Modeling (AOM) held in conjunction with the 7th International Conference on the Unified Modeling Language ...
149
click to vote
NFM
2011
14 years 10 months ago
2011
Abstract. We present a new open source model checker, opaal, for automatic verification of models using lattice automata. Lattice automata allow the users to incorporate abstracti...