3742 search results - page 229 / 749 » On the Use of Formal Techniques for Validation |
178
click to vote
OTM
2005
Springer
16 years 1 days ago
2005
Springer
There are many problems requiring a semantic account of a database schema. At its best, such an account consists of mapping formulas between the schema and a formal conceptual mode...
193
click to vote
FMCAD
2007
Springer
15 years 10 months ago
2007
Springer
Abstract--Analog and mixed signal (AMS) designs are important integrated circuits that are usually needed at the interface between the electronic system and the real world. Recentl...
151
click to vote
APSEC
2001
IEEE
15 years 10 months ago
2001
IEEE
Computer software now controls critical systems worldwide. International standards require such programs to be produced from mathematically-precise specifications, but the techniq...
182
click to vote
FORTE
2004
15 years 8 months ago
2004
Abstract. In this article we present a method to avoid security problems in modern m-commerce applications. The security problems that we are addressing are breaches of security du...
175
click to vote
BIOINFORMATICS
2007
15 years 6 months ago
2007
The formal representation of mereological aspects of canonical anatomy (parthood relations) is relatively well understood. The formal representation of other aspects of canonical ...