1
Microsoft Research
6
Freeware
VCC is a tool that proves correctness of annotated concurrent C programs.
Microsoft Research Ltd
4
Freeware
An extension of the Windows UI for user lightweight management through tagging.
Microsoft Research
7
Freeware
FORMULA is a modern language targeting model-based development.
20
Microsoft Corporation
1,178
Freeware
This is an interactive app that gives users the power to create "Cliplets".
63
Microsoft Research
17,822
Open source
A virtual telescope that lets you browse though the known universe.
25
Microsoft Corporation
8,818
Freeware
Design and compose your own panoramas either from video or still images.
2
Microsoft Corporation
4
Freeware
Internet Security and Acceleration (ISA) Server 2004 SP3.
3
Microsoft
1,695
Freeware
The most versatile tool for log analysis, excellent for IT managers.
131
Microsoft
2,014
Commercial
Encarta Library is a reference resource for students and for all the family.
59
datagena.com
24
Shareware
The key to a secure and healthy PC is being able to monitor event logs.
75
ExactTrend
16
Shareware
Log Analyzer for analysis Microsoft Windows Media Services server raw log files.
macropool GmbH
37
Shareware
With Web Research Outlook you can save e-mail messages from Microsoft Outlook.
Microsoft Research
13
Freeware
Z3 is a high-performance theorem prover being developed at Microsoft Research.
2
MarketXLS
31
Commercial
Research, track, and invest in the stock market within Microsoft Excel.
47
Neu Telekommunikationstechnik
4
Commercial
FactotumNOW IAS Reporting imports IAS/RRAS (Microsoft VPN) log files.
62
DVS Informatics Pvt. Ltd.
33
Shareware
VPN Console reads and analyzes Microsoft IAS Server log.
1
BalaBit IT Security
41
Demo
It is an event log collector and forwarder for Microsoft Windows platforms.
IISLogs, LLC
13
Shareware
Manages all log files related to Microsoft Internet Information Server.
18
CodeTwo
31
Freeware
It will automatically log you on to Microsoft Exchange mailboxes.
