Sciweavers

1040 search results - page 105 / 208
» The Role of Controlled Experiments in Software Engineering R...
Sort
View
AIPRF
2007
15 years 6 months ago
Pitfalls of JESS for Dynamic Systems
We considered different varieties of inference engines for a sub-system of Mission Control Technologies (MCT) being developed at NASA Ames Research center. One inference engine, J...
Rajkumar Thirumalainambi
FECS
2009
164views Education» more  FECS 2009»
15 years 2 months ago
Development of a System for Teaching C/C++ Using Robots and Open Source Software in a CS1 Course
- This paper describes the development of a system for teaching C/C++ using LegoTM RCX Robots in a CS1 college course on introductory programming. The system has been implemented u...
Amy Delman, Lawrence Goetz, Yedidyah Langsam, Theo...
CCS
2011
ACM
14 years 4 months ago
Automatic error finding in access-control policies
Verifying that access-control systems maintain desired security properties is recognized as an important problem in security. Enterprise access-control systems have grown to prote...
Karthick Jayaraman, Vijay Ganesh, Mahesh V. Tripun...
ESE
1998
131views Database» more  ESE 1998»
15 years 4 months ago
A Comparison of Tool-Based and Paper-Based Software Inspection
Software inspection is an e ective method of defect detection. Recent research activity has considered the development of tool support to further increase the e ciency and e ectiv...
F. MacDonald, J. Miller
135
Voted
ILP
2005
Springer
15 years 10 months ago
Guiding Inference Through Relational Reinforcement Learning
Abstract. Reasoning plays a central role in intelligent systems that operate in complex situations that involve time constraints. In this paper, we present the Adaptive Logic Inter...
Nima Asgharbeygi, Negin Nejati, Pat Langley, Sachi...