3468 search results - page 98 / 694 » An open logical framework |
122
click to vote
ICAC
2009
IEEE
15 years 4 months ago
2009
IEEE
In large-scale, distributed software systems, an important management undertaking concerns the creation and runtime modification of application instances. This short paper propose...
109
click to vote
CCGRID
2003
IEEE
15 years 6 months ago
2003
IEEE
The most important recent development in Grid systems is the adoption of the Web services model as a basic architecture for Grid services. The result is called the Open Grid Servi...
124
click to vote
TPHOL
2000
IEEE
15 years 5 months ago
2000
IEEE
Abstract. This paper presents proof terms for simply typed, intuitionistic higher order logic, a popular logical framework. Unification-based algorithms for the compression and re...
110
Voted
ECAI
1998
Springer
15 years 5 months ago
1998
Springer
This paper proposes a logic for causal based on event trees. Event trees provide a natural and familiar framework for probability and decision theory, but they lack the modularity...
93
Voted
ISJ
2002
15 years 11 days ago
2002
The open source software (OSS) model is a fundamentally new and revolutionary way to develop software. The success of the OSS model is also setting the stage for a structural chang...