Sciweavers

1760 search results - page 275 / 352
» A System to Mark Programs Automatically
Sort
View
RSP
2003
IEEE
169views Control Systems» more  RSP 2003»
15 years 8 months ago
Rapid Prototyping and Incremental Evolution Using SLAM
The paper shows the outlines of the SLAM system and how its design is suitable for automating rapid prototyping. The system includes a very expressive object oriented specificati...
Ángel Herranz-Nieva, Juan José Moren...
KI
2008
Springer
15 years 3 months ago
Translating Cooperative Strategies for Robot Behavior
Abstract. This paper presents a method for engineering and programming multirobot systems, based on a combination of statecharts and hybrid automata, which are well-known in the fi...
Florian Ruh, Frieder Stolzenburg
JCP
2007
126views more  JCP 2007»
15 years 3 months ago
ADE: Utility Driven Self-management in a Networked Environment
ADE, autonomic distributed environment, is a system which engages autonomic elements to automatically take an existing centralized application and distribute it across available re...
Debzani Deb, M. Muztaba Fuad, Michael J. Oudshoorn
ICST
2009
IEEE
15 years 9 months ago
Transforming and Selecting Functional Test Cases for Security Policy Testing
In this paper, we consider typical applications in which the business logic is separated from the access control logic, implemented in an independent component, called the Policy ...
Tejeddine Mouelhi, Yves Le Traon, Benoit Baudry
HICSS
2007
IEEE
135views Biometrics» more  HICSS 2007»
15 years 9 months ago
Composable Language Extensions for Computational Geometry: A Case Study
— This paper demonstrates how two different sets of powerful domain specific language features can be specified and deployed as composable language extensions. These extensions...
Eric Van Wyk, Eric Johnson