Webnote is a tool for taking notes on your computer. It allows you to quickly write something down during a meeting, class, or any other time that you have a web browser available.
CADP ("Construction and Analysis of Distributed Processes", formerly known as "CAESAR/ALDEBARAN Development Package") is a popular toolbox for the design of communication protocols and distributed systems.
Welcome on my small web site. As you can see, it is mainly about Design Patterns. With these patterns I try to capture every bit of good design that I encounter. I will update the site regularily and add new patterns.
Enter the URL of an HTML document to validate.
Link Valet is a WWW Link checker. When you enter the URL of an HTML page on the Web, it will fetch the page, and print a report on it. Link Valet will also spider your site. When a link references another HTML page at the same site and hierarchy as the UR
Koehler, W. (2004) A longitudinal study of Web pages continued: a report after six years. Information Research, 9(2) paper 174 [Available at http://InformationR.net/ir/9-2/paper174.html]
Site Map Pro quickly and effectively creates a single page HTML site map. Simply placing this file on your site allows visitors and search engines to navigate and find all the pages on your site!
Link Checker Pro is the leading solution for website analysis and the detection of broken and other problem links. Link Checker Pro combines powerful features and an easy to use interface and is robust enough to deal with corporate websites containing 10
With the eXTReMe Tracker you get every advanced feature required to picture the visitors of your website. Conveniently arranged, numbers, percentages, stats, totals and averages. All the way up from simple counting your visitors until tracking the keyword
IEEE P1850 - Standard for PSL - Property Specification Language
To improve designers' productivity, the electronic design industry needs a methodology based on both worldwide standards and open interfaces. Accellera was formed in 2000 through the unification of Open Verilog International and VHDL International to focu
This is a quick reference for things that can be found in the SPIN man pages. It is less cursory on matters the discussion of which is scattered through the various SPIN documentation files or only found in papers. In particular, sections Execution and A
