3951 search results - page 179 / 791 » Automatic amortized analysis |
139
click to vote
FMSD
2006
15 years 5 months ago
2006
A Promela specification and a set of temporal properties are developed for a basic call service with a number of features. The properties are expressed in the logic LTL. Interactio...
154
click to vote
IFIP
2009
Springer
15 years 2 months ago
2009
Springer
Security-sensitive business processes are business processes that must comply with security requirements (e.g. authorization constraints). In previous works it has been shown that ...
130
Voted
AEI
2007
15 years 5 months ago
2007
Functional modeling is in use for the interpretation of the results of model based simulation of engineered systems for design analysis, enabling the automatic generation of a tex...
135
click to vote
ICALT
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper presents a new approach for automatic concept extraction, using grammatical parsers and Latent Semantic Analysis. The methodology and tool used to build the benchmarkin...
132
Voted
HYBRID
2009
Springer
15 years 9 months ago
2009
Springer
MetiTarski, an automatic proof procedure for inequalities on elementary functions, can be used to verify control and hybrid systems. We perform a stability analysis of control syst...