* Explains process algebra and protocol specification using µ CRL, a language developed to combine process algebra and abstract data types * Text is supported throughout with examples and exercises * Full solutions are provided in an appendix, while exercise sheets, lab exercises, example specifications and lecturer slides are available on the author s website
标签： specification developed Explains language
上传时间： 2016-04-27
上传用户：笨小孩
a screen handling program to provide a flashing message. You will have to design a screen layout for where messages are placed on the screen. You will also have to consider when to delay the program in order to give the user time to read the messages. That is, the program will use the curses library, signals and the sleep function.
标签： screen handling flashing program
上传时间： 2016-05-04
上传用户：chongcongying
Sqlserver2000压力测试 数据库请自己建，附脚本。不懂的可以发邮件问我：killwolf@163.com 10万 109640ms 插入 23078ms 清空 20万 216281ms 8391马上 40万： 416781 9381 if exists (select * from dbo.sysobjects where id = object_id(N [dbo].[StuInfo] ) and OBJECTPROPERTY(id, N IsUserTable ) = 1) drop table [dbo].[StuInfo] GO CREATE TABLE [dbo].[StuInfo] ( [StuID] [float] NULL ) ON [PRIMARY] GO
上传时间： 2016-05-08
上传用户：lht618
Addfilter is a command-line application which adds and removes filter drivers for a given drive or volume. It is intended to demonstrate how to insert a filter driver into the driver stack of a device. The sample illustrates how to do this by using the SetupDi APIs. The sample works on the x86 platform. It has only been tested in a 32-bit environment. Since Addfilter is not a driver, it does not deal with Plug and Play or Power Management.
标签： command-line application Addfilter drivers
上传时间： 2016-05-17
上传用户：xzt
This standard describes a keyed-hash message authentication code (HMAC), a mechanism for message authentication using cryptographic hash functions. HMAC can be used with any iterative Approved cryptographic hash function, in combination with a shared secret key. The cryptographic strength of HMAC depends on the properties of the underlying hash function. The HMAC specification in this standard is a generalization of Internet RFC 2104, HMAC, Keyed-Hashing for Message Authentication, and ANSI X9.71, Keyed Hash Message Authentication Code.
标签： message authentication keyed-hash describes
上传时间： 2014-01-07
上传用户：凤临西北
Addfilter is a command-line application which adds and removes filter drivers for a given drive or volume. It is intended to demonstrate how to insert a filter driver into the driver stack of a device. The sample illustrates how to do this by using the SetupDi APIs. The sample works on the x86 platform. It has only been tested in a 32-bit environment. Since Addfilter is not a driver, it does not deal with Plug and Play or Power Management. No INF file is needed to install this application.
标签： command-line application Addfilter drivers
上传时间： 2016-06-28
上传用户：源码3
看n2实例 #Create a simulator object set ns [new Simulator] #Define different colors for data flows #$ns color 1 Blue #$ns color 2 Red #Open the nam trace file set nf [open out-1.nam w] $ns namtrace-all $nf set f0 [open out0.tr w] set f1 [open out1.tr w] #Define a finish procedure proc finish {} { global ns nf $ns flush-trace #Close the trace file close $nf #Execute nam on the trace file exit 0 } #Create four nodes set n0 [$ns node] set n1 [$ns node] set n2 [$ns node] set n3 [$ns node] #Create links between the nodes $ns duplex-link $n0 $n2 1Mb 10ms
标签： simulator Simulator different Create
上传时间： 2016-07-02
上传用户：wfl_yy
Artistic Style is a reindenter and reformatter of C, C++, C# and Java source code. When indenting source code, we as programmers have a tendency to use both spaces and tab characters to create the wanted indentation. Moreover, some editors by default insert spaces instead of tabs when pressing the tab key, and other editors (Emacs for example) have the ability to "pretty up" lines by automatically setting up the white space before the code on the line, possibly inserting spaces in a code that up to now used only tabs for indentation.
标签： reformatter reindenter and Artistic
上传时间： 2013-12-20
上传用户：康郎
A major goal of this book is to show to make devices that are inherently reliable by design. While a lot of attention has been given to “quality improvement,” the majority of the emphasis has been placed on the processes that occur after the design of a product is complete. Design deficiencies are a significant problem, and can be exceedingly difficult to identify in the field. These types of quality problems can be addressed in the design phase with relatively little effort, and with far less expense than will be incurred later in the process. Unfortunately, there are many hardware designers and organizations that, for various reasons, do not understand the significance and expense of an unreliable design. The design methodology presented in this text is intended to address this problem.
标签： inherently reliable devices design
上传时间： 2016-07-30
上传用户：xiaodu1124
Object-oriented languages define objects (types of things) that know how to perform methods (specific actions). Functional languages treat programming problems like mathematical relationships. Ruby is flexible, meaning that you can program in any of these styles however, it is primarily object oriented, with some strong functional influence. This book focuses slightly more on the functional aspects of Ruby than some other books.
标签： Object-oriented languages objects methods
上传时间： 2016-08-05
上传用户：佳期如梦
