1554 search results - page 211 / 311 » A New Simulation Tool for the Modeling and Control of Distri... |
QEST
2006
IEEE
14 years 2 months ago
2006
IEEE
— UPPAAL 4.0 is the result of over two and a half years of development and contains many new features, additions to the modeling language, performance improvements, enhancements ...
ETFA
2005
IEEE
14 years 1 months ago
2005
IEEE
In High Volume Manufacturing (HVM), system control is shared between automation and human workers. The social organisation of workers plays an important role in supporting human d...
FMSD
2007
13 years 8 months ago
2007
Symbolic techniques based on Binary Decision Diagrams (BDDs) are widely employed for reasoning about temporal properties of hardware circuits and synchronous controllers. However, ...
FASE
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. A Sentient Computing environment is one in which the system is able to perceive the state of the physical world and use this information to customise its behaviour. Mobil...
TASE
2010
IEEE
13 years 2 months ago
2010
IEEE
Group elevator scheduling has received considerable attention due to its importance to transportation efficiency for mid-rise and high-rise buildings. One important trend to improv...