1087 search results - page 87 / 218 » Achieving Distributed Control through Model Checking |
142
click to vote
POPL
2000
ACM
15 years 9 months ago
2000
ACM
Distributed-memory programs are often written using a global address space: any process can name any memory location on any processor. Some languages completely hide the distincti...
143
click to vote
ICPPW
2002
IEEE
15 years 9 months ago
2002
IEEE
Abstract—In this paper, we address the issue of transmission power control in wireless ad-hoc networks. In general, it is assumed that minimum transmission power achieves the opt...
178
click to vote
MSWIM
2005
ACM
15 years 10 months ago
2005
ACM
The increase of IEEE 802.11’s bandwidth led to a deployment of many multimedia applications over wireless networks. Nevertheless, these applications impose stringent constraints...
149
click to vote
SWS
2004
ACM
15 years 10 months ago
2004
ACM
Through web service technology, distributed applications can be built in a exible manner, bringing tremendous power to applications on the web. However, this exibility poses sig...
134
click to vote
ER
2007
Springer
15 years 11 months ago
2007
Springer
An e-contract is a contract modeled, specified, executed, controlled and monitored by a software system. Econtract evolves over a period of time and there are many scenarios of ch...