12115 search results - page 315 / 2423 » Bisimulation of Dynamical Systems |
179
click to vote
DLOG
2010
15 years 4 months ago
2010
Dynamic epistemic logic plays a key role in reasoning about multi-agent systems. Past approaches to dynamic epistemic logic have typically been focused on actions whose primary pur...
168
click to vote
EMSOFT
2004
Springer
16 years 2 days ago
2004
Springer
Mechatronic systems are embedded software systems with hard real-time requirements. Predictability is of paramount importance for these systems. Thus, their design has to take the...
194
click to vote
AICCSA
2006
IEEE
16 years 23 days ago
2006
IEEE
The increased complexity, heterogeneity and the dynamism of networked systems and services make current control and management tools to be ineffective in managing and securing suc...
214
click to vote
AC
2005
Springer
15 years 6 months ago
2005
Springer
Reducing power consumption has become a major challenge in the design and operation of today's computer systems. This chapter describes different techniques addressing this c...
201
click to vote
ENASE
2009
15 years 4 months ago
2009
Abstract. The design of dynamic discrete-event systems calls for adequate modeling formalisms and tools to manage possible changes occurring during system's lifecycle. A commo...