Sciweavers

1760 search results - page 270 / 352
» A System to Mark Programs Automatically
Sort
View
IROS
2009
IEEE
138views Robotics» more  IROS 2009»
15 years 10 months ago
Using petri nets to specify and execute missions for autonomous underwater vehicles
Abstract— This paper presents the design and implementation of a Mission Control System (MCS) for an Autonomous Underwater Vehicle (AUV) based on Petri nets. In the proposed appr...
Narcís Palomeras, Pere Ridao, Marc Carreras...
SEFM
2007
IEEE
15 years 9 months ago
Supporting Proof in a Reactive Development Environment
Reactive integrated development environments for software engineering have lead to an increase in productivity and quality of programs produced. They have done so by replacing the...
Farhad Mehta
ESAW
2007
Springer
15 years 9 months ago
Amongst First-Class Protocols
The ubiquity of our increasingly distributed and complex computing environments have necessitated the development of programming approaches and paradigms that can automatically man...
Tim Miller, Jarred McGinnis
128
Voted
MHCI
2007
Springer
15 years 9 months ago
Effective learn-quiz generation for handheld devices
In this demonstration, we present a system that enables users to easily generate quizzes for mobile devices. With our program, they can create multiple choice tests and general qu...
Wolfgang Hürst, Sabine Jung, Martina Welte
ICSM
2006
IEEE
15 years 9 months ago
Managing Concern Interfaces
Programming languages provide various mechanisms to support information hiding. One problem with information hiding, however, is that providing a stable interface behind which to ...
Jean-Sébastien Boulanger, Martin P. Robilla...