Sciweavers

4241 search results - page 595 / 849
» A Knowledge-Based Software Information System
Sort
View
168
Voted
CC
2003
Springer
120views System Software» more  CC 2003»
15 years 11 months ago
Run-Time Type Checking for Binary Programs
Abstract. Many important software systems are written in the C programming language. Unfortunately, the C language does not provide strong safety guarantees, and many common progra...
Michael Burrows, Stephen N. Freund, Janet L. Wiene...
ICSE
2001
IEEE-ACM
15 years 10 months ago
A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints
In requirements elicitation, different stakeholders often hold different views of how a proposed system should behave, resulting in inconsistencies between their descriptions. Con...
Steve M. Easterbrook, Marsha Chechik
AUIC
2000
IEEE
15 years 10 months ago
Finger Tracking for the Digital Desk
A trend in computing environments today is to move towards more ‘natural’ interaction, another is to make hardware invisible to the user. Both these ideas converge into ubiqui...
Thomas Brown, Richard C. Thomas
EUROMICRO
2000
IEEE
15 years 10 months ago
Supporting Cooperative Learning of Process Knowledge on the World Wide Web
The WWW makes learning materials widely accessible and provides an environment where people can learn across time and space. However, the simple read-only information structure on...
Weigang Wang, Jörg M. Haake, Jessica Rubart, ...
IWCC
1999
IEEE
15 years 10 months ago
Design and Analysis of the Alliance/University of New Mexico Roadrunner Linux SMP SuperCluster
This paper will discuss high performance clustering from a series of critical topics: architectural design, system software infrastructure, and programming environment. This will ...
David A. Bader, Arthur B. Maccabe, Jason R. Mastal...