615 search results - page 98 / 123 » Research in software engineering: an analysis of the literat... |
IDTRUST
2010
ACM
14 years 3 months ago
2010
ACM
Natural-language policies found in X.509 PKI describe an organization’s stated policy as a set of requirements for trust. The widespread use of X.509 underscores the importance ...
CISIS
2008
IEEE
14 years 3 months ago
2008
IEEE
Some researchers have illustrated how individual and groups of bacteria forage for nutrients and to model it as a distributed optimization process, which is called the Bacterial F...
SEFM
2007
IEEE
14 years 2 months ago
2007
IEEE
of abstract interpretations in formal methods It is always very satisfying to hear about a theory, in the case at hand it is the theory of abstract interpretations, that explains i...
RE
2007
Springer
14 years 2 months ago
2007
Springer
Requirements elicitation involves the construction of large sets of conceptual models. An important step in the analysis of these models is checking their consistency. Existing re...
IUI
2006
ACM
14 years 2 months ago
2006
ACM
This paper describes a discussion-bot that provides answers to students’ discussion board questions in an unobtrusive and humanlike way. Using information retrieval and natural ...