Sciweavers

327 search results - page 32 / 66
» Variable structure control of a class of uncertain systems
Sort
View
IFL
2001
Springer
137views Formal Methods» more  IFL 2001»
15 years 2 months ago
A Generic Programming Extension for Clean
Abstract. Generic programming enables the programmer to define functions by induction on the structure of types. Defined once, such a generic function can be used to generate a s...
Artem Alimarine, Marinus J. Plasmeijer
TAPSOFT
1993
Springer
15 years 1 months ago
Optimal Reductions in Interaction Systems
Lamping's optimalgraph reduction technique for the -calculus is generalized to a new class of higher order rewriting systems, called Interaction Systems. Interaction Systems ...
Andrea Asperti, Cosimo Laneve
ICRA
1995
IEEE
118views Robotics» more  ICRA 1995»
15 years 1 months ago
A Standard Form for the Dynamics of General Manipulation Systems
In this paper we consider the structural properties of the dynamics of robotic manipulation systems of a rather general class, including multiple cooperating, possibly whole-arm l...
Antonio Bicchi, Domenico Prattichizzo
CCS
2005
ACM
15 years 3 months ago
A framework for concrete reputation-systems with applications to history-based access control
In a reputation-based trust-management system, agents maintain information about the past behaviour of other agents. This information is used to guide future trust-based decisions...
Karl Krukow, Mogens Nielsen, Vladimiro Sassone
PDP
2003
IEEE
15 years 3 months ago
Dissipative Cellular Automata As Minimalist Distributed Systems: A Study On Emergent Behaviors
This paper describes the behavior observed in a class of cellular automata that we have defined as "dissipative", i.e., cellular automata for which the external environm...
Marco Mamei, Andrea Roli, Franco Zambonelli