241 search results - page 40 / 49 » Design by Contract Using Meta-Assertions |
HICSS
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract— Distributed generation (DG) of electricity is providing an increasing part of the worldwide electricity supply. At the same time, there is a big potential of demand res...
88
Voted
TGC
2007
Springer
15 years 4 months ago
2007
Springer
Distributed applications can be structured using sessions that specify flows of messages between roles. We design a small specific language to declare sessions. We then build a c...
103
Voted
MOBICOM
2003
ACM
15 years 3 months ago
2003
ACM
Reducing the energy consumption by wireless communication devices is perhaps the most important issue in the widely-deployed and exponentially-growing IEEE 802.11 Wireless LANs (W...
SIGCOMM
1998
ACM
15 years 2 months ago
1998
ACM
Multicast routing enables e cient data distribution to multiple recipients. However, existing work has concentrated on extending single-domain techniques to wide-area networks, ra...
104
click to vote
HASE
1997
IEEE
15 years 2 months ago
1997
IEEE
: The most important aspect of concurrent and distributed computation is the interaction between system components. Integration of components into a system requires some synchroniz...