2711 search results - page 48 / 543 » Stochastic Hybrid Systems: Application to Communication Netw... |
CONCUR
2006
Springer
15 years 1 months ago
2006
Springer
Timed concurrent systems are widely used in concurrent and distributed real-time software, modeling of hybrid systems, design of hardware systems (using hardware description langua...
WSC
2008
15 years 2 days ago
2008
Understanding how the structure of a network evolves over time is one of the most interesting and complex topics in the field of social networks. In our attempt to model the dynam...
104
click to vote
IPSN
2007
Springer
15 years 3 months ago
2007
Springer
Target detection and field surveillance are among the most prominent applications of Sensor Networks (SN). The quality of detection achieved by a SN can be quantified by evaluat...
KBSE
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract—Many applications are concurrent and communicate over a network. The non-determinism in the thread and communication schedules makes it desirable to model check such sys...
ETFA
2006
IEEE
15 years 1 months ago
2006
IEEE
This paper deals with the IEC 61499 standard. A function block (FB) is an event triggered component and an application is a distributed FBs network on several devices. We consider...