4036 search results - page 138 / 808 » Formal Methods |
153
Voted
CHARME
2001
Springer
15 years 8 months ago
2001
Springer
The framework of this paper is the formal specification and proof of applications distributed on symmetric interconnection networks, e.g. the torus or the hypercube. The algorithms...
116
Voted
ACL
2007
15 years 6 months ago
2007
A key question facing the parsing community is how to compare parsers which use different grammar formalisms and produce different output. Evaluating a parser on the same resource...
136
Voted
IEEECIT
2010
IEEE
15 years 3 months ago
2010
IEEE
This article focuses on the essence and distinctive features of the AADL behavioral aspects, for which we use the code generation infrastructure of the synchronous modeling enviro...
176
click to vote
IJSSE
2011
15 years 1 days ago
2011
The Extensible Markup Language is susceptible to security breaches because it does not incorporate methods to protect the information it encodes. Our work presented in this paper f...
163
click to vote
SAC
2010
ACM
15 years 12 months ago
2010
ACM
The aim of this short paper is to present a general method of using background knowledge to impose constraints in conceptual clustering of object-attribute relational data. The pr...