12115 search results - page 294 / 2423 » Bisimulation of Dynamical Systems |
185
click to vote
ICT
2004
Springer
16 years 1 days ago
2004
Springer
Dynamic pricing schemes in telecommunication networks were traditionally employed to create users’ incentives in such a way that the overall utilization is improved and profits a...
170
click to vote
BPM
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Process-aware information systems should enable the flexible alignment of business processes to new requirements by supporting deviations from the predefined process mode...
161
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
We are interested in verifying dynamic properties of finite state reactive systems under fairness assumptions by model checking. The systems we want to verify are specified throug...
171
click to vote
JIS
2006
15 years 6 months ago
2006
Collaborative tagging describes the process by which many users add metadata in the form of keywords to shared content. Recently, collaborative tagging has grown in popularity on ...
161
click to vote
INFORMATICALT
2010
15 years 3 months ago
2010
Abstract. The paper deals with the recursive identification of dynamic systems having noninvertible output characteristics, which can be represented by the Wiener model. A special ...