Sciweavers

1042 search results - page 60 / 209
» Can Aspects Implement Contracts
Sort
View
IJCNN
2000
IEEE
14 years 2 months ago
Biologically Inspired Neural Controllers for Motor Control in a Quadruped Robot
This paper presents biologically inspired neural controllers for generating motor patterns in a quadruped robot. Sets of arti cial neural networks are presented which provide 1 p...
Aude Billard, Auke Jan Ijspeert
ECOOP
2010
Springer
14 years 1 months ago
Verifying Executable Object-Oriented Specifications with Separation Logic
Specifications of Object-Oriented programs conventionally employ Boolean expressions of the programming language for assertions. Programming errors can be discovered by checking at...
Stephan van Staden, Cristiano Calcagno, Bertrand M...
SIGMOD
1998
ACM
145views Database» more  SIGMOD 1998»
14 years 2 months ago
AutoAdmin 'What-if' Index Analysis Utility
As databases get widely deployed, it becomes increasingly important to reduce the overhead of database administration. An important aspect of data administration that critically i...
Surajit Chaudhuri, Vivek R. Narasayya
SPRINGSIM
2007
13 years 11 months ago
An architecture for wireless simulation in NS-2 applied to impulse-radio ultra-wide band networks
We present an architecture for implementing a wireless physical layer in a packet-based network simulator. We integrate this architecture in the popular ns-2 network simulator and...
Ruben Merz, Jean-Yves Le Boudec, Jörg Widmer
HICSS
2003
IEEE
108views Biometrics» more  HICSS 2003»
14 years 3 months ago
A Model for Evaluating Potential WBE Innovations
Due to the constantly evolving nature of Web-based Education (WBE) it is often difficult for educators to understand the issues, challenges, impact, and effort required to introdu...
David Jones, Kieren Jamieson, Damien Clark