329 search results - page 62 / 66 » Automatic Proofs for Scalecharts |
217
click to vote
APLAS
2004
ACM
16 years 26 days ago
2004
ACM
Abstract. More than being just a tool for expressing algorithms, a welldesigned programming language allows the user to express her ideas efficiently. The design choices however e...
207
click to vote
RTA
2004
Springer
16 years 23 days ago
2004
Springer
Restrictions of rewriting can eventually achieve termination by pruning all infinite rewrite sequences issued from every term. Contextsensitive rewriting (CSR) is an example of su...
204
Voted
LICS
2003
IEEE
16 years 21 days ago
2003
IEEE
We present decidability results for the verification of cryptographic protocols in the presence of equational theories corresponding to xor and Abelian groups. Since the perfect ...
222
Voted
FM
2003
Springer
16 years 19 days ago
2003
Springer
Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing syste...
174
Voted
COOPIS
2002
IEEE
16 years 11 days ago
2002
IEEE
The Semantic Web is a vision of the next generation Web, in which semantic markup will make Web resources more accessible to automatic processes. Description Logics (DLs) are of cr...