Sciweavers

840 search results - page 143 / 168
» Test suite oscillations
Sort
View
JFP
2008
109views more  JFP 2008»
15 years 13 days ago
An operational semantics for Scheme
This paper presents an operational semantics for the core of Scheme. Our specification improves over the denotational semantics from the Revised5 Report on Scheme specification in...
Jacob Matthews, Robert Bruce Findler
JEA
2006
90views more  JEA 2006»
15 years 12 days ago
Heuristics for estimating contact area of supports in layered manufacturing
Layered Manufacturing is a technology that allows physical prototypes of three-dimensional models to be built directly from their digital representation, as a stack of two-dimensi...
Ivaylo Ilinkin, Ravi Janardan, Michiel H. M. Smid,...
RAS
2006
91views more  RAS 2006»
15 years 11 days ago
Visual navigation and obstacle avoidance using a steering potential function
Humans have a remarkable ability to navigate using only vision, but mobile robots have not been nearly as successful. We propose a new approach to vision-guided local navigation, ...
Wesley H. Huang, Brett R. Fajen, Jonathan R. Fink,...
IS
2007
15 years 10 days ago
A configurable reference modelling language
Enterprise Systems (ES) are comprehensive off-the-shelf packages that have to be configured to suit the requirements of an organization. Most ES solutions provide reference models...
Michael Rosemann, Wil M. P. van der Aalst
127
Voted
TIFS
2008
208views more  TIFS 2008»
15 years 10 days ago
A Network Coding Approach to Secret Key Distribution
We consider the problem of secret key distribution in a sensor network with multiple scattered sensor nodes and a mobile device that can be used to bootstrap the network. Our main...
Paulo F. Oliveira, João Barros