20126 search results - page 68 / 4026 » Timed Transition Systems |
121
click to vote
ICWE
2010
Springer
15 years 1 months ago
2010
Springer
Current recommender systems can support tourists in choosing travel products (accommodation, activities, means of transport, etc.), in planning long trips, and in profitably spendi...
134
click to vote
APN
2006
Springer
15 years 5 months ago
2006
Springer
Petri net schemata are an intuitive and expressive approach to describe high-level Petri nets. A Petri net schema is a Petri net with edges and transitions inscribed by terms and B...
124
click to vote
SEE
1997
Springer
15 years 7 months ago
1997
Springer
A concise object-oriented method for the development of real-time systems has been composed. Hardware components are modelled by (sofnuare) base objects; base objects are controll...
127
click to vote
IDA
2010
Springer
15 years 5 months ago
2010
Springer
We present a data mining approach to model the cooling infrastructure in data centers, particularly the chiller ensemble. These infrastructures are poorly understood due to the lac...
168
click to vote
AMC
1999
15 years 2 months ago
1999
The stability of the equilibria of time-invariant nonlinear dynamical systems with discrete time scale is investigated. We present an elementary proof showing that in the case of ...