1756 search results - page 54 / 352 » Current Directions in Hyper-Programming |
144
Voted
SYRCODIS
2007
15 years 4 months ago
2007
Effective querying and managing of temporal databases represent an unanswered challenge to the modern research community. In this paper, we introduce a temporal preprocessor that ...
141
click to vote
ENTCS
2008
15 years 3 months ago
2008
Normalization for the simply-typed -calculus is proven in Twelf, an implementation of the Edinburgh Logical Framework. Since due to proof-theoretical restrictions Twelf Tait'...
122
click to vote
CHI
2004
ACM
16 years 3 months ago
2004
ACM
Debugging is still among the most common and costly of programming activities. One reason is that current debugging tools do not directly support the inquisitive nature of the act...
138
Voted
P2P
2003
IEEE
15 years 8 months ago
2003
IEEE
The peer-to-peer (P2P) model generally requires that bidirectional and direct communications for contentdelivery be set up between user peers after discovery of the desired conten...
ROMAN
2007
IEEE
15 years 9 months ago
2007
IEEE
— Autism covers a large spectrum of disorders that affect the individual’s way of interacting socially and is often revealed by the individual’s lack of interest in gazing at...