3468 search results - page 17 / 694 » An open logical framework |
ENTCS
2007
13 years 11 months ago
2007
Logical connectives familiar from the study of hybrid logic can be added to the logical framework LF, a constructive type theory of dependent functions. This extension turns out t...
AAAI
2000
14 years 8 days ago
2000
Logics for knowledge representation suffer from overspecialization: while each logic may provide an ideal representation formalism for some problems, it is less than optimal for o...
ISSA
2008
14 years 10 days ago
2008
The drive from the South African Government towards the adoption of open source software across all platforms, incurred a number of research and development questions. The open so...
OOPSLA
2005
Springer
14 years 4 months ago
2005
Springer
In MRI research labs, algorithms are typically implemented in MATLAB or IDL. If performance is an issue they are ported to C and integrated with interpreted systems, not fully uti...
BPM
2006
Springer
2006
Springer
A Proposal for an Open Solution Business Process Integration and Management Implementation Framework
14 years 2 months ago
SOA, Service Oriented Architecture, some people tightly couple this concept with some technologies, as some believes that SOA is about Web Services and its orchestrations. SOA, is ...