Sponsored White Papers, Webcasts, and Downloads
TechRepublic Resources
- Formal Reasoning About Intrusion Detection Systems
- Intrusion detection is an appealing approach to improving the security of systems. It involves the runtime gathering of data from system operations, and the subsequent analysis of the data. There are three different kinds of detection models: anomaly detection, misuse detection and specification-based intrusion detection. Anomaly detection compares characteristics of...
- Tags: reasoning inc., intrusion detection system, specification, anomaly detection, intrusion detection, network security, security, networking
- White papers 2007-03-01
- Sony VAIO Laptop - Anyone have one? Worth It?
- In about 6-8 weeks i am going to treat myself to a laptop.Needs to be lightweight and good enough spec to last a couple years.I won't be using it for gaming have desktop for that, but will be using it for development. So will be running Visual Studio and SQL...
- Tags: girly laptop, hardware, hinge, laptop computer, laptops, off-topic, shellbot, sony corp., sony vaio
- Discussion threads 2007-01-11
- Build Interactive Mathematics Web Services Using Ajax Technology and Automated Reasoning Tools
- This paper discusses a method to build mathematics web services through integrating the newly developed JavaScript technology Ajax with automated reasoning tools like the symbolic algebra and dynamic geometry. The authors investigate some typical interactive learning scenarios and propose a Perl format to describe the process. The scripts of this...
- Tags: web, reasoning inc., javascript, web service, tool, ajax, scripting languages, internet, software/web development, web development, web 2.0
- White papers 2006-10-05
- Supporting Mobility Using Context-Based Reasoning
- Recent research in mobile computing has given rise to a new class of ubiquitous applications that are deployed in dynamic networks where communication is not reliable. This paper describes how context-based reasoning can be used to overcome this limitation of ad hoc wireless communication. The paper presents a small set...
- Tags: mobile, reasoning inc., communication, context, mobility, advertising & promotion, wireless, marketing
- White papers 2006-08-18
- Towards the Use of Qualitative Reasoning for Supporting Information Technology Management
- Building up human resources for Information Technology management and improving web services would benefit if causality was taken into account. Indeed, causality is sometimes only implicit in documents or in the everyday practice of companies. This paper discusses the use of qualitative reasoning techniques for managing IT using an implemented...
- Tags: technique, information technology, reasoning inc., productivity, strategy, itil, management, it services
- White papers 2006-05-09
- A Fuzzy Model for Reasoning About Reputation in Web Services
- Reputation systems are typically based on ratings given by the users. When there are no mechanisms in place to detect collusion and deception, combining user testimonies as such to form a provider's reputation may not give an accurate assessment, especially if the context of the ratings is not known. Moreover,...
- Tags: web, reputation, reasoning inc., web service, context, association for computing machinery, channel management, viruses and worms, marketing, security
- White papers 2006-04-23
- Toward Sharing Reasoning to Improve Fault Localization in Spreadsheets
- Although researchers have developed several ways to reason about the location of faults in spreadsheets, no single form of reasoning is without limitations. Multiple types of errors can appear in spreadsheets, and various fault localization techniques differ in the kinds of errors that they are effective in locating. Because end...
- Tags: oregon state university, reasoning inc., localization, spreadsheet, productivity
- White papers 2006-01-12
- Ingredients for Developing a Case-Based Reasoning Methodology
- Building a methodology for developing CBR applications is an important goal currently addressed by CBR researchers and practitioners. Since CBR application development is a special kind of software development, building a CBR methodology can certainly be viewed as a software engineering research and development activity. This paper presents a perspective...
- Tags: software, software engineering, reasoning inc., methodology, tools & techniques, research & development, development tools, management, business operations, software development, software/web development
- White papers 2005-05-11
- A Bayesian Framework for Robust Reasoning From Sensor Networks
- The work described in this paper defines a Bayesian framework to use noisy, but redundant data from multiple sensor streams and incorporate it with the contextual and domain knowledge that is provided by both the physical constraints imposed by the local environment where the sensors are located and by the...
- Tags: network, reasoning inc., bayesian, sensor
- White papers 2005-01-31
- OWL DL Vs. OWL Flight: Conceptual Modeling and Reasoning for the Semantic Web
- The Semantic Web languages RDFS and OWL have been around for some time now. However, the presence of these languages has not brought the breakthrough of the Semantic Web the creators of the languages had hoped for. OWL has a number of problems in the area of interoperability and usability...
- Tags: owl, reasoning inc., modeling, semantic web, internet
- White papers 2004-11-10
Additional Resources
- Flying Logic Pro for Windows (zip)
- Flying Logic is a tool for people who want to improve their lives or businesses. Just as you would use a spreadsheet for detailed financial projections, you use Flying Logic for serious reasoning. Flying Logic will help you learn WHAT to change, TO WHAT to change, or HOW TO CAUSE...
- Tags: financial, flying logic, productivity, microsoft windows, financial accounting, operating systems, software, finance
- Software downloads 2008-02-13
- Flying Logic Pro for Mac OS X (dmg)
- Flying Logic is a tool for people who want to improve their lives or businesses. Just as you would use a spreadsheet for detailed financial projections, you use Flying Logic for serious reasoning. Flying Logic will help you learn WHAT to change, TO WHAT to change, or HOW TO CAUSE...
- Tags: apple macintosh, financial, sciral, flying logic, apple mac os x, productivity, apple mac os, financial accounting, operating systems, software, finance
- Software downloads 2008-02-22
- Rationale (exe)
- Rationale is a high-quality 'argument processing' software. Use Rationale to create "argument maps", diagrams of reasoning and argument. Rationale will help professionals (for example, lawyers, analysts, or policy makers) handle complex reasoning more effectively; and it will help students learn the fundamentals of good reasoning, critical thinking, and argumentative essay...
- Tags: layout, argument, rationale, performance management, tools & techniques, human resources, workforce management, management
- Software downloads 2007-11-08
- MBAEdge (zip)
- MBAEdge is a practice tool for entrance exams like GMAT, GRE, TOEFL, SAT, CAT, CET. MBAEdge includes features of EnglishEdge and MathEdge, what it also has is a BIG reasoning section with largest database for visual/logical reasoning, number relations, coded arithmetic. MBAEdge is a useful tool for all the MBA...
- Tags: tool, mbaedge, productivity
- Software downloads 2005-08-04
- Intelligence System Company Selects Java Studio Enterprise to Speed Application Development
- Working with the U.S. Army's National Ground Intelligence Center, Digital Reasoning Systems is providing a key application component for the Pathfinder system, a software R&D project focused on advanced data mining and visualization tools for intelligence analysts. After being selected as a key contributor to Pathfinder, Digital Reasoning began the...
- Tags: application development, java, sun microsystems inc., modeling, intelligence system company, research & development, sun solaris, business operations, operating systems, software
- Case studies
- Communities, Collaboration and Cooperation in Personalized Web Search
- Collaborative Web Search is an approach to Web search that takes advantage of ideas from case-based reasoning in order to improve upon the results of a standard search engine. It retrieves and reuses the prior search experiences of a community of like-minded searchers. Collaborative Web search contemplates a society of...
- Tags: web, community, collaborative web, collaboration, internet search, collaborative web search, search
- White papers 2005-08-01
- Implementing a Semantic Web Blackboard System Using Jena
- This paper discusses the need for a hybrid reasoning approach to handing Semantic Web data and explains why it believes that the Blackboard Architecture is particularly suitable. The authors describe how they have utilised it for combining ontological inference, rules and constraint based reasoning within a Semantic Web context. After...
- Tags: blackboard, semantic web, internet
- White papers 2006-04-25
- A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs
- Reasoning about multithreaded object-oriented programs is difficult, due to the non-local nature of object aliasing, data races, and deadlocks. This paper proposes a programming model that prevents data races and deadlocks, and supports local reasoning in the presence of object aliasing and concurrency. The programming model builds on the multithreading...
- Tags: programming model, object-oriented, programming, ooa/ood/oop, development tools, software development, software/web development
- White papers 2006-05-26
- A Reachability Predicate for Analyzing Low-Level Software
- Reasoning about heap-allocated data structures such as linked lists and arrays is challenging. The reachability predicate has proved to be useful for reasoning about the heap in type-safe languages where memory is manipulated by dereferencing object fields. Sound and precise analysis for such data structures becomes significantly more challenging in...
- Tags: data structure, c/c++, microsoft windows, programming languages, software development, software/web development, operating systems, software
- White papers 2007-01-05
- Reason (exe)
- Concept involves loading user's short term memory with as much data as possible, to be analyzed in context ofhis/her knowledge, skills, and habits. Easy operation and rapid computer response to user's reasoning are paramount in this innovative new analytic process. User designs data tables and with patented automated sorting views...
- Tags: concept, productivity
- Software downloads 2007-12-26
- << Previous
- page 1 of 1
- Next >>
