Sciweavers

1936 search results - page 222 / 388
» Unbundling Active Functionality
Sort
View
ROBOCUP
1999
Springer
122views Robotics» more  ROBOCUP 1999»
15 years 8 months ago
The RoboCup - NAIST
Abstract. To make a robot team perform a soccer game, various technologies must be developed. To date, we constructed a multi-sensor based mobile robot for robotic soccer research....
Takayuki Nakamura, Kazunori Terada, Hideaki Takeda...
ADAEUROPE
1997
Springer
15 years 8 months ago
Systematic Unit-Testing of Ada Programs
The systematic test is an inevitable part of the verification and validation process for software. Overall support for all testing activities is currently not available in a singl...
Joachim Wegener, Ines Fey
CHI
2009
ACM
15 years 8 months ago
Yours, mine and (not) ours: social influences on group information repositories
Group information repositories are systems for storing and organizing files in a central location all group members can access. The functionality and capabilities of these systems...
Emilee Rader
ELPUB
2007
ACM
15 years 8 months ago
DCMI-Tools: Ontologies for Digital Application Description
The growth in electronic and digital publishing on the World Wide Web has led to the development of a wide range of tools for generating metadata. As a result, it can be difficult...
Jane Greenberg, Thomas Severiens
ICECCS
2007
IEEE
115views Hardware» more  ICECCS 2007»
15 years 8 months ago
On-the-fly model checking for C programs with extended CADP in FMICS-jETI
A current trend in the software engineering community is to integrate different tools in a friendly and powerful development environment for use by final users. This is also the c...
María-del-Mar Gallardo, Pedro Merino, Chris...