Sciweavers

5009 search results - page 778 / 1002
» Value chain modelling using system dynamics
Sort
View
ECOOP
1999
Springer
15 years 8 months ago
Wide Classes
Abstract. This paper introduces the concepts of wide classes and widening as extensions to the object model of class-based languages such as Java and Smalltalk. Widening allows an ...
Manuel Serrano
ICRA
2010
IEEE
105views Robotics» more  ICRA 2010»
15 years 3 months ago
Towards passive object on-orbit manipulation by cooperating free-flying robots
——Space exploitation will require efficient techniques for manipulating passive objects on orbit. This work presents a manipulation concept that utilizes both the on-off thruste...
Georgios Rekleitis, Evangelos Papadopoulos
171
Voted
SP
1991
IEEE
121views Security Privacy» more  SP 1991»
15 years 8 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
140
Voted
IKE
2004
15 years 6 months ago
A Knowledge-Based Framework for Deploying Surveillance Problem Solvers
Increased concern about bioterrorism and emerging diseases is driving the development of systems for early epidemic detection. These systems have different requirements than tradit...
David L. Buckeridge, Martin J. O'Connor, Haobo Xu,...
134
Voted
FMCAD
2009
Springer
15 years 8 months ago
Industrial strength refinement checking
This paper discusses a methodology used on an industrial hardware development project to validate various cache-coherence protocol components. The idea is to use a high level model...
Jesse D. Bingham, John Erickson, Gaurav Singh, Fle...