Sciweavers

8555 search results - page 266 / 1711
» Property Based Coordination
Sort
View
FOCI
2007
IEEE
16 years 1 months ago
Why Intervals? Why Fuzzy Numbers? Towards a New Justification
The purpose of this paper is to present a new characterization of the set of all intervals (and of the corresponding set of fuzzy numbers). This characterization is based on sever...
Vladik Kreinovich
DEXAW
2009
IEEE
129views Database» more  DEXAW 2009»
15 years 11 months ago
Towards a Generic Process for Security Pattern Integration
Abstract--Interdependencies between different security patterns can influence the properties of a particular pattern when applied in conjunction with other patterns. The resulting ...
Andreas Fuchs, Sigrid Gürgens, Carsten Rudolp...
ICRA
2007
IEEE
128views Robotics» more  ICRA 2007»
16 years 1 months ago
Mixed Initiative Control of Autonomous Vehicles
— In this paper we propose a systematic way of incorporating human inputs in navigation plans. The proposed controller is based on a new class of navigation function based contro...
Savvas G. Loizou, Vijay Kumar
CP
2005
Springer
16 years 25 days ago
Graph Invariants as Necessary Conditions for Global Constraints
Abstract. This article presents a database of about 200 graph invariants for deriving systematically necessary conditions from the graph properties based representation of global c...
Nicolas Beldiceanu, Mats Carlsson, Jean-Xavier Ram...
APPINF
2003
15 years 8 months ago
A Generated Management for Distributed Systems
An approach for specifying the management of a distributed system is herein described. Based on this formal approach, a management can be generated. The base of the specification ...
Thomas Peschel-Findeisen, Bertram Hütter