1760 search results - page 176 / 352 » Program Analysis Using Weighted Pushdown Systems |
123
click to vote
CBRMD
2008
15 years 27 days ago
2008
Intelligent analysis of heterogeneous data and information sources for efficient decision support presents an interesting yet challenging task in clinical environments. This is par...
107
click to vote
ICFP
2005
ACM
16 years 23 days ago
2005
ACM
This paper defines PolyAML, a typed functional, aspect-oriented programming language. The main contribution of PolyAML is the seamless integration of polymorphism, run-time type a...
115
click to vote
ICTCS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Non-interference is a desirable property of systems in a multilevel security architecture, stating that confidential information is not disclosed in public output. The c...
90
Voted
PLSA
1994
15 years 4 months ago
1994
Abstract. Most software is developed using interactive computing systems and substantial compute-power. Considerable assistance can be given to the developer by providing language-...
116
Voted
PE
2010
Springer
14 years 11 months ago
2010
Springer
Solution of large sparse linear fixed-point problems lies at the heart of many important performance analysis calculations. These calculations include steady-state, transient and...