3468 search results - page 37 / 694 » An open logical framework |
ISPW
1996
IEEE
14 years 3 months ago
1996
IEEE
Barry Boehm, Universityof Southern Calfornia Steven Wolf, Rockwell Collins The development and reuse of sofhvare engineering processes within an organization can be impeded by the...
CSR
2010
Springer
14 years 3 months ago
2010
Springer
We show that a logical framework, based around a fragment of existential second-order logic formerly proposed by others so as to capture the class of polynomially-bounded P-optimi...
ICML
1989
IEEE
14 years 3 months ago
1989
IEEE
Logic programming provides a uniform framework in which all aspects of explanation-based generalization and learning may be defined and carried out, but first-order Horn logic i...
CORR
2008
Springer
13 years 11 months ago
2008
Springer
er presents an abstraction of Hoare logic to traced symmetric monoidal categories, a eral framework for the theory of systems. Our abstraction is based on a traced monoidal functor...
HCI
2009
13 years 8 months ago
2009
This paper describes the framework and development process of adaptive user interfaces within the OASIS project. After presenting a rationale for user interface adaptation to addre...