11112 search results - page 1507 / 2223 » Computing Stuttering Simulations |
217
click to vote
HYBRID
2010
Springer
16 years 2 months ago
2010
Springer
In this paper, we present an extension of the synchronous language Quartz by new kinds of variables, actions and statements for modeling the interaction of synchronous systems wit...
224
click to vote
AINA
2009
IEEE
16 years 2 months ago
2009
IEEE
— Wireless sensor network consisting of a large number of sensors is effective for gathering data in a variety of environments. Since the sensors operate on battery of limited po...
204
click to vote
AINA
2009
IEEE
16 years 2 months ago
2009
IEEE
— In service-oriented environments, reputation-based service selection is gaining increasing prominence. We propose in this paper a social network-based approach to model and ana...
211
click to vote
AINA
2009
IEEE
16 years 2 months ago
2009
IEEE
—Topology control in a wireless sensor network is useful for ensuring that the network remains connected in the presence of nodes that exhaust their energy or become altogether d...
235
click to vote
AINA
2009
IEEE
16 years 2 months ago
2009
IEEE
Over the last few years, target tracking in wireless sensor networks has become a topic of particular interest. This paper presents a tracking system intended for deployment in di...