241 search results - page 40 / 49 » Design by Contract Using Meta-Assertions |
HICSS
2008
IEEE
14 years 1 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...
TGC
2007
Springer
14 years 1 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...
MOBICOM
2003
ACM
14 years 22 days 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
13 years 11 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...
HASE
1997
IEEE
13 years 11 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...