692 search results - page 29 / 139 » Understanding Finiteness Analysis Using Abstract Interpretat... |
ISESE
2005
IEEE
15 years 5 months ago
2005
IEEE
Many risk specific concepts like “threat”, “consequence” and “risk” belong to the daily language. In a risk analysis one cannot be certain that the participants’ int...
110
click to vote
PAAMS
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. Regular expressions, or simply regex, have been widely used as a powerful pattern matching and text extractor tool through decades. Although they provide a powerful and f...
101
click to vote
AAIM
2009
Springer
15 years 6 months ago
2009
Springer
Polyhedra are widely used in model checking and abstract interpretation. Polyhedral analysis is effective when the relationships between variables are linear, but suffers from im...
TCIAIG
2010
14 years 6 months ago
2010
Abstract--Fingerprinting operators generate functional signatures of game players and are useful for their automated analysis independent of representation or encoding. The theory ...
111
click to vote
CMSB
2007
Springer
15 years 6 months ago
2007
Springer
We give a description of a Petri net-based framework for modelling and analysing biochemical pathways, which unifies the qualitative, stochastic and continuous paradigms. Each per...