3468 search results - page 106 / 694 » An open logical framework |
109
Voted
CORR
2007
Springer
15 years 21 days ago
2007
Springer
Abstract. In object-oriented or object-relational databases such as multimedia databases or most XML databases, access patterns are not static, i.e., applications do not always acc...
177
Voted
ICAIL
2009
ACM
15 years 7 months ago
2009
ACM
This paper describes a default-logic framework (plausibility schemas) and software tools (Decision ApprenticeTM and Legal ApprenticeTM ) for modeling, guiding and automating the r...
ICSE
2003
IEEE-ACM
16 years 24 days ago
2003
IEEE-ACM
Traceability helps stakeholders to understand the relationships that exist between software artifacts created during a software development project. For example, the evolution of ...
119
Voted
CHI
2005
ACM
16 years 1 months ago
2005
ACM
This paper focuses on an emerging model for software development in higher education: community source. Community source seeks to blend aspects of both open source and traditional...
110
click to vote
AES
2008
Springer
15 years 9 days ago
2008
Springer
This paper presents research that led to the design and implementation of an extensible and scalable software framework for the dynamic 3D visualization of simulated construction ...