10055 search results - page 1831 / 2011 » Structured programming using processes |
103
click to vote
COMCOM
2010
14 years 10 months ago
2010
For data-collection applications in sensor networks, it is important to ensure base station receives a complete picture about the monitored area. Convergecast is an important commu...
FAC
2008
14 years 10 months ago
2008
We extend the approach of model checking parameterized networks of processes by means of network invariants to the setting of real-time systems. We introduce timed transition stru...
IANDC
2008
14 years 10 months ago
2008
Hybrid systems are dynamical systems with the ability to describe mixed discretecontinuous evolution of a wide range of systems. Consequently, at first glance, hybrid systems appe...
CORR
2006
Springer
14 years 10 months ago
2006
Springer
Abstract. This paper defends an augmented cognitively oriented "genericdesign hypothesis": There are both significant similarities between the design activities implement...
CORR
2006
Springer
14 years 10 months ago
2006
Springer
We present a simple dynamic equilibrium model for an online exchange where both buyers and sellers arrive according to a exogenously defined stochastic process. The structure of t...