Sciweavers

3458 search results - page 463 / 692
» Abstracting Control
Sort
View
158
Voted
ICRA
2009
IEEE
142views Robotics» more  ICRA 2009»
15 years 2 months ago
Making networked robots connectivity-aware
Maintaining the network connectivity in mobile Multi-Robot Systems (MRSs) is a key issue in many robotic applications. In our view, the solution to this problem consists of two mai...
Van Tuan Le, Noury Bouraqadi, Serge Stinckwich, Vi...
143
Voted
IFM
2009
Springer
153views Formal Methods» more  IFM 2009»
15 years 2 months ago
Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B
This paper introduces action refinement in the context of CSP B. Our motivation to include this notion of refinement within the CSP B framework is the desire to increase flexibilit...
Steve Schneider, Helen Treharne
IPAW
2010
15 years 1 months ago
Towards a Threat Model for Provenance in e-Science
Abstract. Scientists increasingly rely on workflow management systems to perform large-scale computational scientific experiments. These systems often collect provenance informatio...
Luiz M. R. Gadelha Jr., Marta Mattoso, Michael Wil...
IPAW
2010
15 years 1 months ago
Provenance of Software Development Processes
Abstract. "Why does the build fail currently?" - This and similar questions arise on a daily basis in software development processes (SDP). There is no easy way to answer...
Heinrich Wendel, Markus Kunde, Andreas Schreiber
CCIA
2010
Springer
14 years 11 months ago
cOncienS: Organizational Awareness in Real-Time Strategy Games
The implementation of AI in commercial games is usually based on low level designs that makes the control predictable, unadaptive, and non reusable. Reorithms such as HTN or GOAP p...
Sergio Álvarez-Napagao, Ignasi Gómez...