形式化方法已被用于基于消息通讯的并发系统的建模和分析。
Since formal methods can be used to model and analyze concurrent systems, it is natural to consider applying formal methods for the modeling and development of Web Service.
其他的公司则希望能管理并控制他们的即时消息通讯，以满足其企业内部的政策。
Other companies wish to manage and control their instant messaging communication, to meet internal corporate policies.
在这个 Twitter.com和手机消息通讯时代，许多长URL不能满足消息上设置的 140 个字符的限制，这是一件麻烦事！
In this era of Twitter.com and cell-phone text messaging, the many long URLs that don't fit within the 140-character limit placed on messages can be a hassle.
因此明智的做法是将警报消息的订阅与状态信息轮询相结合，提供一个健壮的与监控工具通讯的机制。
Therefore it is prudent to combine subscription to alert messages with polling of status information, to provide a robust mechanism for communicating with monitoring tools.
SQS主要用于分布式系统间的通讯，把消息发送并存储到队列中，等待客户端使用。
SQS is used by distributed applications to communicate by sending messages to queues where they are stored awaiting to be consumed by clients.
阿罗史密斯补充道，由于人口的迅速增加，我们迁移到更危险的地区，再加上通讯越来越发达，我们将听到更多类似事件发生的消息。
Coupled with better communication, as the human population skyrockets and we move into more hazardous regions, we're going to hear more about the events that do occur, Arrowsmith added.
改进后的通讯将有助于减少客服电话的次数，增加在消息中通过阅读以下步骤提纲解决他们问题的可能性。
The improved communications will help reduce support calls by increasing the likelihood of an end user resolving their issue by reading and following the steps outlined in the message.
华尔街日报的东家新闻集团在本月初宣布报纸的裁员消息，但同时宣布道琼斯通讯社增加了分支机构的记者，特别是在印度的办事处。
The journal's owner, news Corp, announced job cuts at the newspaper earlier this month, but said that the Dow Jones newswire was adding journalists at its bureaus, especially in India.
事实上，尽可能利用许多其它网站复制和再发布消息，从而得到新闻通讯服务，这也通常是各个公司的目标。
In fact, it's often a goal for companies that distribute their releases through a newswire service to get as many other sites to copy and republish the release as possible.
入站通讯：允许资源适配器通过MessageDrivenBean发送消息给J2EE应用程序。
Inbound communication: Allows the resource adapter to send messages to J2EE applications via message Driven Beans.
Facebook宣布推出消息服务平台这一举措显示，电子通讯正在经历一场根本性的变革。
Facebook's announcement of its Messages service is just the most prominent evidence of how electronic communications are changing in a fundamental way.
还有一些人要求把音乐播放列表或GTalk即时通讯的状态消息也放入Google档案。
Several other people asked to have music playlists or GTalk IM status messages included in Google Profiles.
我们以前曾解释过，XMPP是随着即时消息兴起的一种实时通讯协议(link)。
As we've explained in the past, XMPP is a real-time communication protocol popularized by Instant Messaging.
简而言之，MOM擅长于提供流程间的异步通讯、发布-订阅(一对多)消息来传递语义和保证高可靠性。
In short, MOM excels in providing asynchronous communication between processes, publish-subscribe (one-to-many) message delivery semantics, and high levels of reliability.
黑莓通讯软件使得人们可以只在某群人之间分享消息。
The BlackBerry Messenger, known as BBM, enables people to share texts and messages within groups of people.
但其他的新闻集团由于削减了自己的新闻编辑部，反而更加依赖了新闻通讯社的消息来源。
Many others, having cut their own newsrooms, have become more dependent than ever on regurgitating agency copy.
当西方报纸一窝蜂的报道有关核反应堆那耸人听闻却从未经证实的消息时，塔斯社（译注：前苏联通讯社）却放出消息说大火已经得到了控制。
Whensome Western papers carried increasingly sensational but unconfirmed accountsof the reactor's condition, TASS reported that the fire was under control.
所以项目的交流经常通过文字：电子邮件、即时通讯消息、IRC、或者bug追踪系统。
So project communications are mostly plain text, in E-mail, instant messaging, IRC, or a bug tracking system.
泄露给通讯社的消息显示，由于食品价格更加稳定，中国5月份的通胀率从4月份的8.5%降至7.7%。
According to leaks to news agencies, Chinese inflation fell from 8.5 per cent in April to 7.7 per cent in May due to more stable food prices.
对于大多数计算机用户来说，编辑一个MicrosoftWord文档和即时通讯消息是两项完全不同的活动。
For most computer users, editing a Microsoft Word document and instant messaging are two very different activities.
对于大多数计算机用户来说，编辑一个MicrosoftWord文档和即时通讯消息是两项完全不同的活动。
For most computer users, editing a Microsoft Word document and instant messaging are two very different activities.
应用推荐