13977 search results - page 239 / 2796 » Evolution in complex systems |
195
click to vote
SIGSOFT
2010
ACM
15 years 24 days ago
2010
ACM
Specification and verification of real-time systems are important research topics which have practical implications. In this work, we present a self-contained toolkit to analyze r...
137
click to vote
ECBS
2009
IEEE
16 years 27 days ago
2009
IEEE
Sensornet lifespan and utility is limited by the energy resources of individual motes. Network designers seek to maximise energy efficiency while maintaining acceptable Quality o...
203
click to vote
CHI
2011
ACM
14 years 9 months ago
2011
ACM
The study of creativity has received significant attention over the past century, with a recent increase in interest in collaborative, distributed creativity. We posit that creati...
171
click to vote
IJFCS
2008
15 years 6 months ago
2008
The conventional forbidden state problem for discrete event systems is concerned with the issue of synthesizing a maximally permissive control policy to prevent a discrete event s...
176
click to vote
AUTOMATICA
1999
15 years 5 months ago
1999
In this paper, we consider simple classes of nonlinear systems and prove that basic questions related to their stability and controllability are either undecidable or computationa...