Sciweavers

212 search results - page 16 / 43
» The KBMS Project and Beyond
Sort
View
IPPS
2003
IEEE
14 years 20 days ago
From Legion to Legion-G to OGSI.NET: Object-Based Computing for Grids
: The object abstraction has long proven to be an effective foundation upon which to structure application codes; however, its application to Grid Computing contains many challenge...
Marty Humphrey
HICSS
2000
IEEE
104views Biometrics» more  HICSS 2000»
13 years 11 months ago
Fragmentation of Working Time and SMARTER IS-Solutions
It has been commonly stated how complex it is to measure the impact of Information Technology on managers' productivity. We propose to go beyond the concept of productivity i...
Franck Tétard
OSDI
1996
ACM
13 years 8 months ago
Safe Kernel Extensions Without Run-Time Checking
This paper describes a mechanism by which an operating system kernel can determine with certainty that it is safe to execute a binary supplied by an untrusted source. The kernel r...
George C. Necula, Peter Lee
CORR
2002
Springer
95views Education» more  CORR 2002»
13 years 7 months ago
Unsupervised Learning of Morphology without Morphemes
The first morphological learner based upon the theory of Whole Word Morphology (Ford et al., 1997) is outlined, and preliminary evaluation results are presented. The program, Whol...
Sylvain Neuvel, Sean A. Fulop
PLILP
1998
Springer
13 years 11 months ago
Logic Programming and Model Checking
We report on the current status of the LMC project, which seeks to deploy the latest developments in logic-programming technology to advance the state of the art of system speci ca...
Baoqiu Cui, Yifei Dong, Xiaoqun Du, K. Narayan Kum...