Sciweavers

2860 search results - page 277 / 572
» The Greenfoot Programming Environment
Sort
View
ISER
1999
Springer
147views Robotics» more  ISER 1999»
15 years 11 months ago
Experimental Validation of Physics-Based Planning and Control Algorithms for Planetary Robotic Rovers
: Robotic planetary exploration is a major component of the United States’ NASA space science program. The focus of our research is to develop rover planning and control algorith...
Karl Iagnemma, Robert Burn, Eric Wilhelm, Steven D...
IPPS
1998
IEEE
15 years 11 months ago
Toward Embedded Development from Advanced Khoros
Current practice in the design of application software for high-performance embedded computing systems is characterized by long development times, lack of interoperability with ot...
Joe Fogler, Thomas Robey, Mark Young
CCS
1998
ACM
15 years 11 months ago
A Probabilistic Poly-Time Framework for Protocol Analysis
We develop a framework for analyzing security protocols in which protocol adversaries may be arbitrary probabilistic polynomial-time processes. In this framework, protocols are wr...
Patrick Lincoln, John C. Mitchell, Mark Mitchell, ...
ICSE
1998
IEEE-ACM
15 years 11 months ago
Consistency Management for Complex Applications
Consistency management is an important requirement in many complex applications, but current programming languages and database systems provide inadequate support for it. To addre...
Peri L. Tarr, Lori A. Clarke
KDD
1998
ACM
140views Data Mining» more  KDD 1998»
15 years 11 months ago
Active Templates: Comprehensive Support for the Knowledge Discovery Process
The goal of Active Template research is to create a single, unified environment that a data analyst can use to carry out a knowledge discovery project, and to deliver the resultin...
Randy Kerber, Hal Beck, Tej Anand, Bill Smart