World-Wide Web有何用?

过去我们常常有一个部门叫做Interchange。它是一个联机服务和一个出版平台。它有一个复杂的用户界面,无论用于检索还是浏览都是一个优秀的环境,而且它能提供相当丰富的图形。而我曾见到过的第一个Web浏览     

World-Wide Web上的战争

应该忘掉Windows与OS/2的竞争,忘掉PC与Macintosh的对抗,新的平台之战已不再属于操作系统或者硬件设计,而是有关Internet的标准。Netscape与Microsoft已经披挂上阵,实际交火。这场战斗的利害将会对World-Wide Web的未来造成影响。     

Can the World-Wide Web Bridge the Semantic Gap?

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.     

World-Wide Web:100个热门网点游览指南

当你准备探索Internet最令人兴奋的信息王国时,是不是不知道该从何处开始?下面介绍的是许多有用、有趣并且令人着迷的Web主页(home page),你一定不要错过。     

应用Remote Script增强Web应用程序

介绍Ｒｅｍｏｔｅ Ｓｃｒｉｐｔ解决方案,它可以大大增强Ｗｅｂ的交互性。     

Remote Web Desktop实现电脑遥控手机

用手机远程遥控PC已经不是什么新鲜的技术了,但是反过来就会有诸多不便了。虽然用户可以使用豌豆荚或91助手管理手机的文件或进行设置,但距离真正意义上的"遥控手机"还差得很远。今天,笔者就为大家介绍一款通过WiFi模式实现电脑对手机远程遥控的软件——Remote Web Desktop。     

INTERNET月月谈(五) Internet与World-Wide Web

一、Internet:一个无与伦比的信息宝库1993年9月,美国克林顿政府公布了宏伟的“信息高速公路”计划,引起世界各国科学界、工程界、商界、教育界等各方面的极大关注.在计划的正式文件中,特别提到了Internet,并给予很高评价:“Internet已能使美国和全世界的科学家使用数据库,共享文献资料,以及与同行们交流信息.”这个评价是毫不过分的.     

局域网远程控制好帮手—Remote—Anything

现在不少单位都安装了局域网(LAN),作为一名计算机维护人员,经常要在各个科室之间来回穿梭,解决那些一定要在本机上调试才能解决的各种问题,完全体现不出局域网应有的方便,于是我开始尝试使用远程控制软件解决这个问题。经过使用比较,最终选择了TWD Industries公司出品的小巧方便的共享软件:Remote-Anything(以下简称RA)。相对于著名的PC Anywhere庞大的身躯(大约是RA的700倍大小),主要文件仅     

介绍一个相当好的远程控制软件—Remote Administrator

以前一直是用Pcanywhere,没有比较也就不知道差异,也没有觉得Pcanywhere有什么不好,近日听别人说起另一个远程控制软件,Remote administrator(RADMIN),用了一下,竟然爱不释手,于是就把我的使用心得告诉大家。     

HOL-Boogie—An Interactive Prover-Backend for the Verifying C Compiler

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.     

Web——不需要等待

高速电话线上的最新消息。对于虔诚的Web冲浪者来说，梦想就要成真：访问Web时伴有声     

Web Sphere——网站救星

您是否有过这样的经历:坐在Web服务器旁,每当又有一位Internet用户访问CGI过程时就忧心忡忡,您的CPU使用率直线上升,您开始担心系统离崩溃还有多远? 现在网络管理员可以松一口气了,替代CGI的IBM WebSphere Application Server已经横空出世了。     

XML——新的Web开发工具

ＸＭＬ是当前Ｗｅｂ技术领域的热点,它源于ＳＧＭＬ是ＳＧＭＬ的一个子集,文中,介绍ＸＭＬ的起源和特点,给出一个示例说明怎样书写ＸＭＬ文档,并简要介绍ＸＭＬ的应用和未来。     

投资Web——四大供应商针对Web调整服务器系统

虽然方法各异,但领先的服务器供应商都将利用产品的Web特性来吸引公司用户购买自己的新产品. IBM PC公司9月底推出一个专门针对Web应用而设计的新的服务器系列产品,与此同时,Compaq、HP和Sun公司也在对自己现有的服务器进行调整,以便适应Web连接工作的要求。接近IBM公司的消息称,该公司基于Wintel结构的NetFinity服务器采用更力模块化、伸缩性更强的设计,主要针对电子商贸应用。该系列中的第一个产品是IBM Netfinity 7000。 Netfinity系列产品将成为IBM的第一批采用Intel结构的机架式服务器,公司用户可以将多套服务器放入单个机柜中以节省空间。这些系统最初将支持多达四片     

Enterprise Web 2.0——Web 2.0带给企业什么？

当企业开发领域正如火如荼的向SOA迈进的时候，互联网行业也正经受着的Web2．0风潮的冲击，SOA和Web2．0似乎成为了当今IT业内最时髦的两个词汇。然而，更为前沿的想法是，如何将Web2．0应用到企业当中？如何将Web2．0和SOA结合在一起？     

Web3.0——互联网新时代

Web3．0时代的最大价值不是提供信息，而是提供基于不同需求的组合在一起的应用和满足综合需求的平台，实现了更加“智能化的人与人和人与机器的交流”功能的互联网模式，从而给互联网带来新景象和新革命。     

Web安全101——保护Web服务的十个步骤

Web安全?希望达到，却永远不能达到。它是用来保证WEB站点安全的状态或质量的一种动态的的安全政策和安全产品的组合。     

PowerBuilder Web Framework——PB应用向Web移植的利器

使用PBWF与现有的PB应用进行集成,可以快速地将现有应用扩展到Web上,实现PB应用向Web的转换。