Sciweavers

1956 search results - page 80 / 392
» A Critical View of Context
Sort
View
CTRS
1987
15 years 10 months ago
Confluence of Conditional Rewrite Systems
Conditional rewriting has been studied both from the point of view of algebraic data type specifications and as a computational paradigm combining logic and functional programming...
Nachum Dershowitz, Mitsuhiro Okada, G. Sivakumar
DSOM
2003
Springer
16 years 4 hour ago
Idiosyncratic Signatures for Authenticated Execution of Management Code
TrustedFlow™ is a software solution to the problem of remotely authenticating code during execution. A continuous flow of idiosyncratic signatures assures that the software from ...
Mario Baldi, Yoram Ofek, Moti Yung
ISMIR
2000
Springer
148views Music» more  ISMIR 2000»
15 years 10 months ago
IR for Contemporary Music: What the Musicologist Needs
Active listening is the core of musical activity Listening does not only concern receiving musical information. On the contrary, it is "active" and based on a set of int...
Alain Bonardi
USENIX
1990
15 years 8 months ago
Efficient User-Level File Cache Management on the Sun Vnode Interface
In developing a distributed file system, there are several good reasons for implementing the client file cache manager as a user-level process. These include ease of implementatio...
David C. Steere, James J. Kistler, Mahadev Satyana...
NAR
2008
141views more  NAR 2008»
15 years 6 months ago
MethyCancer: the database of human DNA methylation and cancer
Cancer is ranked as one of the top killers in all human diseases and continues to have a devastating effect on the population around the globe. Current research efforts are aiming...
Ximiao He, Suhua Chang, Jiajie Zhang, Qian Zhao, H...