244 search results - page 41 / 49 » A Model of Components with Non-regular Protocols |
ANSS
2005
IEEE
15 years 3 months ago
2005
IEEE
Wireless Sensor Networks (WSNs) have gained considerable attention in the past few years. As such, there has been an increasing need for defining and developing simulation framew...
96
Voted
MIDDLEWARE
2005
Springer
15 years 3 months ago
2005
Springer
With the advancement of technology in micro-electronics and wireless communication, small miniature devices called sensor nodes can be used to perform various tasks by forming the...
MIDDLEWARE
2004
Springer
15 years 2 months ago
2004
Springer
This paper surveys a variety of subsystems designed to be the building blocks from which sophisticated infrastructures for ubiquitous computing are assembled. Our experience shows...
116
click to vote
CLUSTER
2011
IEEE
13 years 9 months ago
2011
IEEE
—Computing systems will grow significantly larger in the near future to satisfy the needs of computational scientists in areas like climate modeling, biophysics and cosmology. S...
94
Voted
TPHOL
1998
IEEE
15 years 1 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...