An Overview of PROMELA

PROMELA is not a programming language. PROMELA is a language for building verification models. As a result of this specialization, PROMELA contains many features that are not found in mainstream programming languages. These features are intended to facilitate the construction of high-level models of distributed systems. Gerard Holzmann provides an overview in this chapter from his book, "The SPIN Model Checker: Primer and Reference Manual."

Rexx for Everyone

It's easy to get lost in the world of "little languages" -- quite a few have been written to scratch some itch of a company, individual, or project. Rexx is one of these languages, with a long history of use on IBM operating systems, and good current implementations for Linux and other Free Software operating systems. Rexx occupies a useful ecological niche between the relative crudeness of shell scripting and the cumbersome formality of full systems languages.

Mac OS X Panther: Room for Improvement

"I love my black cat. It has served me well since October with its new Finder, refined interface, Fast User Switching, and Exposé. I love Panther so much that I am willing to debate until the wee hours of the night with PC Zealots and die hard Classic supporters about its merits. Even in all of its glory, however, there is always room for improvement." Read the suggested improvements article at MacZealots.com.

What Does Linux Cost?

"The worst part about this is that the MCSEs involved are right: Linux can never be as good a Windows 2003 server as is Windows 2003. Linux isn't a cheaper form of Windows; direct substitution without change in thinking fails initially from a technology perspective and fails in the longer term from a cost perspective", says Paul Murphy.

Integer Handling with SafeInt Class; Visual C++ FP Optimization

David LeBlanc introduces a C++ template class that helps reduce the chances of incurring integer arithmetic errors in your code. The code is fast, flexible, and easy to use. Get a handle on optimizing floating-point code using the Microsoft Visual C++ (v8.0) method of managing floating-point semantics. Create fast programs while ensuring that only safe optimizations are performed on floating-point code.

Microsoft Research Ready with Aura

Microsoft's Research organization is preparing to publicly release in a few weeks the client application for its Aura research project, a researcher told attendees of the O'Reilly Emerging Technology Conference. Research Sociologist Marc Smith, demonstrating Aura during his keynote presentation, explained that the project uses mobile devices to interact with physical objects to retrieve information about them from the Internet as well as to automatically capture and annotate data from them.