Sciweavers

370 search results - page 20 / 74
» How to Control Emergence of Behaviours in a
Sort
View
SIGCOMM
2010
ACM
13 years 7 months ago
How internet concepts and technologies can help green and smarten the electrical grid
Several powerful forces are gathering to make fundamental and irrevocable changes to the century-old grid. The nextgeneration grid, often called the `smart grid,' will featur...
Srinivasan Keshav, Catherine Rosenberg
ETFA
2005
IEEE
14 years 1 months ago
Decentralized supervisory control of Petri nets with monitor places
In this paper we deal with the problem of determining a set of decentralized controllers for P/T nets that are able to impose a given global specification on the net behaviour. M...
Francesco Basile, Alessandro Giua, Carla Seatzu
APSEC
2007
IEEE
14 years 1 months ago
Requirements Engineering for Reactive Systems: Coloured Petri Nets for an Elevator Controller
This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key propertie...
João M. Fernandes, Jens Bæk Jø...
QOFIS
2000
Springer
13 years 11 months ago
Random Early Marking
In this paper we present an optimisation approach to congestion flow control. The initial context of this approach was as a rate based flow control in ATM networks. We describe te...
Sanjeewa Athuraliya, Steven H. Low, David E. Lapsl...
COMPLEX
2009
Springer
14 years 2 months ago
Complex Phenomena in Orchestras - Metaphors for Leadership and Enterprise
This paper recognises that comparisons have been made between the role of the conductor of an orchestra and leaders of enterprises, but that little note has been taken of how the c...
Patrick Beautement, Christine Brönner