You are here: silicon.com > Resources > White Papers > Security > Intrusion - Tampering > Network Security

Network Security White Papers

Toward an Intuitive and Interesting Theory Course: The First Step of a Road Map

Overview This paper presents the first step of an attempt in designing intuitive and interesting materials for a theory course. The materials developed cover the AL5 Basic Computability unit of the ACM/IEEE Computing Curricula 2001, and can be used in a stand-alone theory course. This paper describes a "Programming approach" to basic computability. Topics include a proof of the Halting Problem and the use of a simple reduction technique to prove other interesting problems. Details of the chosen computation model, the construction of a universal program, and the Isomorphism Theorem are also discussed. Future topics for this course include advanced computability, computability with real numbers, and the connection between theory and programming languages.

Further White Paper Details
Publisher	Michigan Technological University	File Format	PDF
Date Published	June 2004
Format	White Papers
Topics	Network Security, Anti-Virus

Did you find this white paper useful?

Balancing Security Against Productivity

Publisher:
Novell

Security: New strides in preventing intrusions.

Publisher:
IBM

Novell Zenworks Endpoint Security Management: Total Control from a Single Console

Publisher:
Novell

Secure Desktop On-Demand Webcast

Publisher:
Novell

County Government Increases the Security of Its Network

Publisher:
Microsoft

Consultancies must change to keep-up with web services

Web services is considered an important driver in the adoption of services-oriented architectures, a technique for designing corporate computer systems. With a services oriented architecture, separate applications can interoperate, regardless of...

Devil's Advocate: Medieval historians bite back

We can point with pride to the achievements of Alan Turing, who provided an impressive underpinning for a theoretical understanding of computation. Neither Apple nor Microsoft are the real innovators, even though they both deserve credit for taking...

Thinking outside the box about the brain

He recently spoke with CNET News.com about his book and his brain theory, and about how long we might have to wait for the appearance of computers based on that theory. A: I have been working on this theory for a while.

Criminal IT: Why insecurity is implicit in computing

The implication is that the mathematical model of computation has insecurity implicit within it because we know that we cannot know ahead of time whether something will or will not be damaging. In the language of mathematics, a computer program is...

Skills Survey 2007: Industry falling out of love with IT grads

Someone who has put the 'quick adaptor' theory into practice is Louis Rose, who did a Computer Systems and Software Engineering degree and then a Master of Engineering at York. While working at IBM, Rose says he had to learn three different...

How to stop "runaway" ERP projects

Debes says it is similar to what used to be called object-oriented programming and is based on a model called "pattern languages theory", which is about creating a library of repeatable patterns. It adds up a column of numbers and gives you a...

Channel:
Applications
Tags:
project,
erp,
lawson

Live Webcast: Telecoms 2.0 - Where is telecoms heading?

In this webcast, our panel of experts will review where we are with next generation telecoms in the UK, working through the concept of 'Telecoms 2.0': - Realising the potential of Next Generation Networks - why it isn't just about the technology? - What attributes should firms be looking for in their telco partner? - Is the relationship between telco provider and customer changing? - What things need to happen to make next generation services a reality? - You say you want the supplier to change. Do you want to change too? - What is Telecoms 2.0?

Publisher:
ZDNet UK

Telecom 2.0: Mind over matter

ntl:Telewest Business believes that the role of the telco is evolving. Gone are the days when it was enough to simply focus on circuits and minutes, customers now need a far higher degree of interaction and look for suppliers who will talk business solutions with them.

Publisher:
ntl:Telewest Business

IBM Information Server Change Data Capture

In today's fast-paced world, access to real-time data has never been more important. To be successful, organizations need to be able to report and analyze corporate data quickly and easily, regardless of what applications created the data, what platform they're running on, or what database they're stored in.

Publisher:
IBM

An examination of server consolidation: the trends that can drive efficiencies and help businesses gain a competitive edge

This white paper provides a starting point for organizations contemplating server consolidation. It includes an overview of server consolidation concepts and techniques and provides guidance on methodologies. It also looks at the potential cost savings associated with server consolidation and offers information on how organizations can sustain the advantage they have gained by consolidating their servers.

Publisher:
IBM

Also on silicon.com

Site Navigation:

Network Security White Papers

Toward an Intuitive and Interesting Theory Course: The First Step of a Road Map

Quick Sitemap Links:

About Us

Search

Blogs

Verticals

Advertising Features

CNET Networks in Europe

CNET Networks in the United States

CNET Networks in Asia Pacific