11168 search results - page 1832 / 2234 » Abstract State Processes |
132
Voted
VSTTE
2005
Springer
15 years 9 months ago
2005
Springer
The validation of modern software systems on mobile devices needs to incorporate both functional and non-functional requirements. While some progress has been made in validating pe...
133
Voted
DMSN
2004
ACM
15 years 9 months ago
2004
ACM
Sensor networks present a number of novel programming challenges for application developers. Their inherent limitations of computational power, communication bandwidth, and energy...
156
click to vote
MOBIHOC
2004
ACM
15 years 9 months ago
2004
ACM
Bandwidth efficiency of wireless multicast can be improved substantially by exploiting the fact that several receivers can be reached at the MAC layer by a single transmission. T...
136
click to vote
SIGMETRICS
2004
ACM
15 years 9 months ago
2004
ACM
The performance of IP networks depends on a wide variety of dynamic conditions. Traffic shifts, equipment failures, planned maintenance, and topology changes in other parts of th...
120
Voted
CAISE
2004
Springer
15 years 9 months ago
2004
Springer
This paper describes the evolution and the results of the research work carried out by the IRIS group in the field of enterprise integration. This research work began with the ARD...