1950 search results - page 158 / 390 » Lambda-Free Logical Frameworks |
181
click to vote
EDOC
2006
IEEE
16 years 22 days ago
2006
IEEE
When building enterprise applications that need to be accessed through a variety of client devices, developers usually strive to implement most of the business logic device-indepen...
161
click to vote
RULEML
2005
Springer
16 years 5 days ago
2005
Springer
In this paper we argue that a realistic architecture for the Semantic Web must be based on multiple independent, but interoperable, stacks of languages. In particular, we argue tha...
183
click to vote
DEON
2004
Springer
16 years 2 days ago
2004
Springer
This work addresses the issue of obligations directed to groups of agents. Our main concern consists in providing a formal analysis of the structure connecting collective obligatio...
160
click to vote
MKM
2004
Springer
16 years 1 days ago
2004
Springer
A major obstacle for bridging the gap between textbook mathematics and formalising it on a computer is the problem how to adequately capture the intuition inherent in the mathemati...
172
click to vote
DATE
2003
IEEE
15 years 12 months ago
2003
IEEE
Abstract — This paper defines a new diagnosis problem for diagnosing delay defects based upon statistical timing models. We illustrate the differences between the delay defect d...