3468 search results - page 98 / 694 » An open logical framework |
161
Voted
ICAC
2009
IEEE
15 years 8 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...
149
Voted
CCGRID
2003
IEEE
15 years 10 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...
163
Voted
TPHOL
2000
IEEE
15 years 9 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...
145
Voted
ECAI
1998
Springer
15 years 8 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...
128
Voted
ISJ
2002
15 years 4 months 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...