Sciweavers

3973 search results - page 318 / 795
» Complex adaptation and system structure
Sort
View
WORDS
2002
IEEE
15 years 9 months ago
Auction System Design Using Open Multithreaded Transactions
Open Multithreaded Transactions form an advanced transaction model that provides features for controlling and structuring not only accesses to objects, as usual in transaction sys...
Jörg Kienzle, Alfred Strohmeier, Alexander B....
CDC
2009
IEEE
113views Control Systems» more  CDC 2009»
15 years 9 months ago
Computation of safety control for uncertain piecewise continuous systems on a partial order
— In this paper, the safety control problem for a class of hybrid systems with disturbance inputs and imperfect continuous state information is considered. Under the assumption t...
Michael R. Hafner, Domitilla Del Vecchio
LPAR
2001
Springer
15 years 8 months ago
A Local System for Classical Logic
Abstract. The calculus of structures is a framework for specifying logical systems, which is similar to the one-sided sequent calculus but more general. We present a system of infe...
Kai Brünnler, Alwen Fernanto Tiu
ISCAS
2008
IEEE
103views Hardware» more  ISCAS 2008»
15 years 10 months ago
A novel multiscroll chaotic system and its realization
Abstract— This paper proposes a novel multiscroll chaotic system, which is different from Chua’s circuit and all its variants in most aspects of the algebraic form, circuit des...
Simin Yu, Jinhu Lu, Guanrong Chen
AOSE
2007
Springer
15 years 10 months ago
Tool-Supported Development with Tropos: The Conference Management System Case Study
Abstract. The agent-oriented software engineering methodology Tropos offers a structured development process and supporting tools for developing complex, distributed systems. The ...
Mirko Morandini, Duy Cu Nguyen, Anna Perini, Alber...