Sciweavers

2763 search results - page 471 / 553
» The Dangerous 'All' in Specifications
Sort
View
CHI
1995
ACM
15 years 10 months ago
The ScienceWare Modeler: a learner-centered tool for students building models
The Modeler is designed using a learner-centered approach [5], with scaffolding to address the specific needs of learners. Scaffolding [3] is an educational term that refers to pro...
Shari L. Jackson
RULES
1995
Springer
92views Database» more  RULES 1995»
15 years 10 months ago
Rule Contexts in Active Databases - A Mechanism for Dynamic Rule Grouping
Engineering applications that use Active DBMSs (ADBMSs) often need to group activities into modes that are shifted during the execution of different tasks. This paper presents a me...
Martin Sköld, Esa Falkenroth, Tore Risch
SC
1995
ACM
15 years 10 months ago
Analysis of Multilevel Graph Partitioning
Recently, a number of researchers have investigated a class of algorithms that are based on multilevel graph partitioning that have moderate computational complexity, and provide ...
George Karypis, Vipin Kumar
SP
1991
IEEE
121views Security Privacy» more  SP 1991»
15 years 9 months ago
The SRI IDES Statistical Anomaly Detector
SRI International’s real-time intrusion-detection expert system (IDES) system contains a statistical subsystem that observes behavior on a moniioreci cornpuier system and adapti...
H. S. Javitz, A. Valdes
ASPLOS
1987
ACM
15 years 9 months ago
Machine-Independent Virtual Memory Management for Paged Uniprocessor and Multiprocessor Architectures
This paper describes the design and implementation of virtual memory management within the CMU Mach Operating System and the experiences gained by the Mach kernel group in porting...
Richard F. Rashid, Avadis Tevanian, Michael Young,...