Sciweavers

21379 search results - page 461 / 4276
» The profession of IT - Evolutionary system development
Sort
View
CDC
2008
IEEE
102views Control Systems» more  CDC 2008»
16 years 1 months ago
Global uniform asymptotic Lyapunov stabilization of a vectorial chained-form system with a smooth time-varying control law
— This work presents two continuous time-varying control laws that globally uniformly asymptotically stabilize the origin of a vectorial generalization of the basic chainedform s...
Christian Holden, Kristin Ytterstad Pettersen
ATAL
1997
Springer
15 years 11 months ago
Facilitating Open Communication in Agent Systems: The InfoSleuth Infrastructure
This paper addresses issues in developing open multiagent systems, in which it is easy to expand the functionality by adding new agents with new capabilities, and which facilitate ...
Marian H. Nodine, Amy Unruh
STACS
1997
Springer
15 years 11 months ago
Probabilistic Proof Systems - A Survey
Various types of probabilistic proof systems have played a central role in the development of computer science in the last decade. In this exposition, we concentrate on three such...
Oded Goldreich
CDC
2009
IEEE
135views Control Systems» more  CDC 2009»
15 years 10 months ago
Stabilization of a class of sandwich nonlinear systems via state feedback
Abstract— In this paper, we consider the problems of semiglobal and global internal stabilization of a class of sandwich systems consisting of two linear systems with a saturatio...
Xu Wang, Anton A. Stoorvogel, Ali Saberi, Hå...
BPM
2008
Springer
162views Business» more  BPM 2008»
15 years 9 months ago
From a Social Wiki to a Social Workflow System
This paper presents an approach for using wikis in an organizational context and a proto-type implementation for developing a wiki-based workflow system. We provide general conside...
Gustaf Neumann, Selim Erol