186 search results - page 16 / 38 » Mechanizing metatheory in a logical framework |
177
click to vote
RTAS
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper describes the design and implementation of a pervasive computing framework, named Physicalnet. Essentially, Physicalnet is a generic paradigm for managing and programmi...
176
click to vote
ICFP
2005
ACM
16 years 5 months ago
2005
ACM
We present a parametric Hoare-like logic for computer-aided reasoning about typeable properties of functional programs. The logic is based on the concept of a specialised assertio...
156
click to vote
ADBIS
2001
Springer
15 years 10 months ago
2001
Springer
Due to the rapid growth of the Web, there is an increasing need for methodologies that support the design of Web-based Information Systems (WIS). After investigating the applicatio...
194
click to vote
WILF
2009
Springer
15 years 10 months ago
2009
Springer
In this paper, an interactive image retrieval scheme using MPEG-7 visual descriptors is proposed. The performance of image retrieval systems is still limited due to semantic gap, w...
136
click to vote
FSTTCS
2007
Springer
16 years 14 hour ago
2007
Springer
There are two somewhat contradictory ways of looking at modules in a given programming language. On the one hand, module systems are largely independent of the particulars of progr...