2488 search results - page 408 / 498 » An improvement in formal verification |
125
click to vote
CASCON
2007
15 years 2 months ago
2007
We present preliminary work on an IDE for formal software development using tabular expressions as the basis for precise specifications and descriptions of software behaviour. 1 ...
100
click to vote
BMCBI
2008
15 years 1 months ago
2008
Background: Research in life sciences is benefiting from a large availability of formal description techniques and analysis methodologies. These allow both the phenomena investiga...
111
click to vote
DKE
2007
15 years 1 months ago
2007
A product model is a formal and structured definition of product information. The most common procedure for defining a product data model is to first describe the business and/...
109
click to vote
INFOCOM
2010
IEEE
14 years 12 months ago
2010
IEEE
—Privacy-Preserving Authentication (PPA) is crucial for Radio Frequency Identifcation (RFID)-enabled applications. Without appropriate formal privacy models, it is difficult for...
124
click to vote
SAT
2010
Springer
14 years 12 months ago
2010
Springer
This paper presents a detailed empirical study of local search for Boolean satisfiability (SAT), highlighting several interesting properties, some of which were previously unknown...