共查询到20条相似文献,搜索用时 0 毫秒
1.
2.
应该忘掉Windows与OS/2的竞争,忘掉PC与Macintosh的对抗,新的平台之战已不再属于操作系统或者硬件设计,而是有关Internet的标准。Netscape与Microsoft已经披挂上阵,实际交火。这场战斗的利害将会对World-Wide Web的未来造成影响。 相似文献
3.
The World-Wide Web provides tremendous resources in Multimedia Data, Ubiquitous Interconnection, and Storage/Computing Power. In this short note, we raise but not answer the question: Can the WWW help bridge the Semantic Gap in Computer Vision? Even if the answer turns out to be NO, we hope that by exploring these resources, we may gain a deeper understanding of the Semantic Gap challenge. 相似文献
4.
当你准备探索Internet最令人兴奋的信息王国时,是不是不知道该从何处开始?下面介绍的是许多有用、有趣并且令人着迷的Web主页(home page),你一定不要错过。 相似文献
5.
6.
用手机远程遥控PC已经不是什么新鲜的技术了,但是反过来就会有诸多不便了。虽然用户可以使用豌豆荚或91助手管理手机的文件或进行设置,但距离真正意义上的"遥控手机"还差得很远。今天,笔者就为大家介绍一款通过WiFi模式实现电脑对手机远程遥控的软件——Remote Web Desktop。 相似文献
7.
一、Internet:一个无与伦比的信息宝库1993年9月,美国克林顿政府公布了宏伟的“信息高速公路”计划,引起世界各国科学界、工程界、商界、教育界等各方面的极大关注.在计划的正式文件中,特别提到了Internet,并给予很高评价:“Internet已能使美国和全世界的科学家使用数据库,共享文献资料,以及与同行们交流信息.”这个评价是毫不过分的. 相似文献
9.
现在不少单位都安装了局域网(LAN),作为一名计算机维护人员,经常要在各个科室之间来回穿梭,解决那些一定要在本机上调试才能解决的各种问题,完全体现不出局域网应有的方便,于是我开始尝试使用远程控制软件解决这个问题。经过使用比较,最终选择了TWD Industries公司出品的小巧方便的共享软件:Remote-Anything(以下简称RA)。相对于著名的PC Anywhere庞大的身躯(大约是RA的700倍大小),主要文件仅 相似文献
10.
11.
以前一直是用Pcanywhere,没有比较也就不知道差异,也没有觉得Pcanywhere有什么不好,近日听别人说起另一个远程控制软件,Remote administrator(RADMIN),用了一下,竟然爱不释手,于是就把我的使用心得告诉大家。 相似文献
12.
Sascha Böhme Michał Moskal Wolfram Schulte Burkhart Wolff 《Journal of Automated Reasoning》2010,44(1-2):111-144
Boogie is a verification condition generator for an imperative core language. It has front-ends for the programming languages C# and C enriched by annotations in first-order logic, i.e. pre- and postconditions, assertions, and loop invariants. Moreover, concepts like ghost fields, ghost variables, ghost code and specification functions have been introduced to support a specific modeling methodology. Boogie’s verification conditions—constructed via a wp calculus from annotated programs—are usually transferred to automated theorem provers such as Simplify or Z3. This also comprises the expansion of language-specific modeling constructs in terms of a theory describing memory and elementary operations on it; this theory is called a machine/memory model. In this paper, we present a proof environment, HOL-Boogie, that combines Boogie with the interactive theorem prover Isabelle/HOL, for a specific C front-end and a machine/memory model. In particular, we present specific techniques combining automated and interactive proof methods for code verification. The main goal of our environment is to help program verification engineers in their task to “debug” annotations and to find combined proofs where purely automatic proof attempts fail. 相似文献
13.
14.
15.
XML——新的Web开发工具 总被引:6,自引:0,他引:6
XML是当前Web技术领域的热点,它源于SGML是SGML的一个子集,文中,介绍XML的起源和特点,给出一个示例说明怎样书写XML文档,并简要介绍XML的应用和未来。 相似文献
16.
《每周电脑报》1997,(38)
虽然方法各异,但领先的服务器供应商都将利用产品的Web特性来吸引公司用户购买自己的新产品. IBM PC公司9月底推出一个专门针对Web应用而设计的新的服务器系列产品,与此同时,Compaq、HP和Sun公司也在对自己现有的服务器进行调整,以便适应Web连接工作的要求。接近IBM公司的消息称,该公司基于Wintel结构的NetFinity服务器采用更力模块化、伸缩性更强的设计,主要针对电子商贸应用。该系列中的第一个产品是IBM Netfinity 7000。 Netfinity系列产品将成为IBM的第一批采用Intel结构的机架式服务器,公司用户可以将多套服务器放入单个机柜中以节省空间。这些系统最初将支持多达四片 相似文献
17.
当企业开发领域正如火如荼的向SOA迈进的时候,互联网行业也正经受着的Web2.0风潮的冲击,SOA和Web2.0似乎成为了当今IT业内最时髦的两个词汇。然而,更为前沿的想法是,如何将Web2.0应用到企业当中?如何将Web2.0和SOA结合在一起? 相似文献
18.
Web3.0时代的最大价值不是提供信息,而是提供基于不同需求的组合在一起的应用和满足综合需求的平台,实现了更加“智能化的人与人和人与机器的交流”功能的互联网模式,从而给互联网带来新景象和新革命。 相似文献
20.
使用PBWF与现有的PB应用进行集成,可以快速地将现有应用扩展到Web上,实现PB应用向Web的转换。 相似文献