3799 search results - page 282 / 760 » An Engineering Approach to Formal Methods |
180
click to vote
CRYPTO
2000
Springer
15 years 11 months ago
2000
Springer
Partially blind signature schemes are an extension of blind signature schemes that allow a signer to explicitly include necessary information (expiration date, collateral condition...
164
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Transcription factors (TFs) are core functional proteins which play important roles in gene expression control, and they are key factors for gene regulation network co...
169
click to vote
IAJIT
2006
15 years 6 months ago
2006
: This paper presents a new and extensible method for information retrieval and content analysis in natural languages (NL). The proposed method is stem-based; stems are extracted b...
163
click to vote
ESWS
2008
Springer
15 years 8 months ago
2008
Springer
In order to overcome the limitations of deductive logic-based approaches to deriving operational knowledge from ontologies, especially when data come from distributed sources, indu...
206
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
The demand for quickly delivering new applications is increasingly becoming a business imperative today. Application development is often done in an ad hoc manner, without standar...