1288 search results - page 55 / 258 » On Analysis of Design Component Contracts: A Case Study |
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
on models are abstract representations of systems one wants to study through computer simulation. In multiagent based simulation, such models usually represent agents and their re...
111
click to vote
TSMC
2008
14 years 11 months ago
2008
Recent studies have shown that the perception of natural movements--in the sense of being "humanlike"--depends on both joint and task space characteristics of the movemen...
108
click to vote
ICRA
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract— This paper introduces a novel robotic finger concept for variable impedance grasping in unstructured tasks. A brief literature survey reveals the need for minimal comp...
SIGCSE
1996
ACM
15 years 4 months ago
1996
ACM
We identify the principles involved in designing effective programming assignments for CS1/CS2. Through a case study of a particularly successful recursion assignment, we establis...
ENTCS
2008
14 years 12 months ago
2008
We present the current state of our STSLib project. This project aims at defining an environment to formally specify and execute software components. One important feature is that...