448 search results - page 50 / 90 » A Meta-Method for Formal Method Integration |
139
Voted
JCS
2010
14 years 10 months ago
2010
We introduce constraint differentiation, a powerful technique for reducing search when model-checking security protocols using constraint-based methods. Constraint differentiation...
140
Voted
FOCM
2011
14 years 6 months ago
2011
We consider a wide class of semi linear Hamiltonian partial differential equations and their approximation by time splitting methods. We assume that the nonlinearity is polynomia...
124
Voted
DAC
2002
ACM
16 years 4 months ago
2002
ACM
The ForSyDe methodology has been developed for system level design. In this paper we present formal transformation methods for the refinement of an abstract and formal system mode...
142
Voted
WWW
2007
ACM
16 years 3 months ago
2007
ACM
Schema statements in OWL are interpreted quite differently from analogous statements in relational databases. If these statements are meant to be interpreted as integrity constrai...
138
click to vote
APSEC
2005
IEEE
15 years 9 months ago
2005
IEEE
Started in the beginning of 2001, the Semantic Web is regarded by many as the next generation of the Web. Ontology languages are the building blocks of Semantic Web as they provid...