3468 search results - page 237 / 694 » An open logical framework |
149
click to vote
JLP
1998
15 years 6 months ago
1998
Using constraint logic techniques, it is made possible to use a wellknown metainterpreter backwards as a device for generating programs. A metainterpreter is developed, which prov...
151
click to vote
HOTNETS
2010
15 years 1 months ago
2010
The OpenFlow framework enables flow-level control over Ethernet switching, as well as centralized visibility of the flows in the network. OpenFlow's coupling of these feature...
164
click to vote
ICTAI
2007
IEEE
16 years 28 days ago
2007
IEEE
In this paper we consider the consistency problem of temporal or spatial qualitive constraint networks. A new encoding making it possible to represent and solve this problem in th...
177
Voted
ISM
2006
IEEE
16 years 19 days ago
2006
IEEE
This paper presents a framework for interactive applications running in a lecture recording system using the board as interface metaphor. A number of such applications, called Cha...
153
click to vote
IWPEC
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We introduce a general notion of miniaturization of a problem that comprises the different miniaturizations of concrete problems considered so far. We develop parts of t...