2106 search results - page 113 / 422 » Specifying C concepts |
134
click to vote
KBSE
1994
IEEE
15 years 7 months ago
1994
IEEE
Research in knowledge-based software engineering has led to advances in the ability to specify and automatically generate software. Advances in the support of upstream activities ...
125
click to vote
VLDB
1989
ACM
15 years 7 months ago
1989
ACM
Fuzzy set theory represents a uniform framework for extending the relational database model to han-, dle imprecision of information found in the real world. None of the existing p...
145
click to vote
CCS
2006
ACM
15 years 7 months ago
2006
ACM
We propose an integrated process for component-based system development and security risk analysis. The integrated process is evaluated in a case study involving an instant messag...
106
click to vote
DNA
2006
Springer
15 years 6 months ago
2006
Springer
We examine scattered hairpins, which are structures formed when a single strand of nucleotides folds into a partially hybridized stem and a loop. To specify different classes of h...
133
Voted
FSTTCS
2000
Springer
15 years 6 months ago
2000
Springer
We present a framework for decision making under uncertainty where the priorities of the alternatives can depend on the situation at hand. We design a logic-programming language, D...