2106 search results - page 113 / 422 » Specifying C concepts |
KBSE
1994
IEEE
14 years 2 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 ...
VLDB
1989
ACM
14 years 2 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...
CCS
2006
ACM
14 years 1 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...
DNA
2006
Springer
14 years 1 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...
FSTTCS
2000
Springer
14 years 1 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...