Sponsored White Papers, Webcasts, and Downloads
TechRepublic Resources
- Safety-critical projects: Can formal methods help?
- Vague, contradictory, or incomplete software specifications can cause disastrous system failure. A math-based formal specification method will eliminate flaws that can lead to failure in safety-critical systems.When the failure of a computer system can lead to catastrophic consequences, such as the loss of human life, damage to the environment, or...
- Tags: Patrick Andrews, specification, flaw, formal method, ambiguity
- Technical articles 2002-09-12
Additional Resources
- A Formal Method for Attack Modeling and Detection
- This paper presents a formal methodology for attack modeling and detection for networks. The approach has three phases. First, the authors extend the basic attack tree approach to capture the temporal dependencies between components, and the expiration of an attack. Second, using the Enhanced Attack Trees EAT the authors build...
- Tags: Rensselaer Polytechnic Institute, Tree, Modeling, Attack, Research & Development, Business Operations
- White papers 2006-01-09
- Development and Application of Design Transformations in ForSyDe
- The ForSyDe methodology has been developed for system level design. Starting with a formal specification model, that captures the functionality of the system at a high abstraction level, it provides formal design transformation methods for a transparent refinement process of the system model into an implementation model that is optimized...
- Tags: Transformation, Refinement, ForSyDe Methodology, Productivity
- White papers
- Automated Code Generation in Telecom Protocols
- Automated code generation has been for years a goal for many developers and development efforts. With the development of programming languages, the establishment of Java and C++ as leading programming languages, and the progress in formalities of templates and design pattern methodology, the goal of automated code is much closer...
- Tags: Design Pattern, Programming Language, Telecommunications, Programming Languages, Software Development, Software/Web Development
- White papers 2007-01-08
- Conceptual Knowledge Discovery and Data Analysis
- This paper discusses Conceptual Knowledge Discovery in Databases CKDD in its connection with Data Analysis. The approach is based on Formal Concept Analysis, a mathematical theory which has been developed and proven useful during the last 20 years. Formal Concept Analysis has led to a theory of conceptual information systems...
- Tags: Data Analysis, Knowledge, Technische Universitat Darmstadt, Formal Concept Analysis, Databases, Enterprise Software, Software, Data Management
- White papers 2006-04-05
- formal technology strategy & plan
- how do you put together a formal technology strategy and planThe answer to your question is pretty big and dependent on your environment. There are several good websites with articles to read on creating strategies and plans.Here try:www.microsoft.com/enable/business/plan.aspxwww.techsoup.org/learningcenter/techplan/index.cfmwww.alignedstrategy.com/Hope these help you out.
- Tags: formal technology strategy, technology strategy, nvgaa@..., it management, strategy
- Q&A 2006-06-28
- Genius (zip)
- Genius helps you memorize things. Genius organizes your information and carefully chooses questions using an intelligent "spaced repetition" method that's based on your past performance. It can even perform fuzzy answer checking and highlight errors visually. Use Genius to study foreign language phrases, vocabulary words, historical dates, religious texts, marketing...
- Tags: Genius, Marketing Research, Marketing
- Software downloads 2007-09-12
- Which is the best software to use for web site development?
- If you were new to web development & were wanting to get a more formal education or to be come VERY proficient in one web site dev program that would ensure that you were marketable for the next several years - which program do you think is best. I'm...
- Tags: Channel management, Professional development, Web site development, debbiebyers62@..., software, Web, Web site
- Discussion threads 2007-08-27
- Mobile Web Service Architecture for Software Development Peer Inspection
- Improving software quality remains a key challenge. Software development formal peer inspection has emerged as an effective approach to address this challenge. Software peer inspection aims at detecting and removing software development defects efficiently and early while defects are less expensive to correct. The key research issue is to develop...
- Tags: Software, Inspection, Mobile, Software Development, Tools & Techniques, Development Tools, Software/Web Development, Management
- White papers 2006-06-09
- Demystifying the Exchange Dial-Tone Restore Method (Part 1)
- This paper explains what the Exchange dial-tone restore method (aka the Recover now, restore later method) is all about, as well as inform when and why it can be a good idea to use this method in conjunction with the Recovery Storage Group RSG feature, when faced with one or...
- Tags: Method, TechGenix
- White papers 2005-06-28
- Cisco Case Study: Meteoric Rise
- At this stage the 17-year-old Cristian's was not only studying computing at high school and practising it as a hobby. Cristian also recalls the Cisco Networking Academy Program as his first encounter with a well-designed, practically-oriented curriculum. At this point Cristian decided to skip the remainder of the formal program...
- Tags: Cisco Systems Inc., Cristian
- Case studies
- Employ methodologies during project selection
- This week's Project Management newsletter stresses the importance of employing and adhering to formal project selection methodologies.What criteria do you include in your project selection methodology? Do you ever wish, in hindsight, that you followed a formal methodology before selecting a project?If you haven't subscribed to our free Project Management...
- Tags: Project Management newsletter, Newsletter Editor, it management
- Discussion threads 2005-02-01
- I Can't Understand Why My Method Call Is Ambiguous
- One of the jobs of the Java platform compiler javac is to determine which method should be applied to a specific method invocation. This is a very simple process if there is only one method that can be applied to the invocation but becomes a lot more complicated when the...
- Tags: Invocation, Compiler, Development Tools, Software Development, Software/Web Development
- White papers
- Can Your CRM Staff e-Satisfy?
- The number of companies with formal CRM programs is on the rise. A CRM Census Research survey indicated that 42% of the 100 companies surveyed have a formal CRM program. The rest planned to implement one during 2002. While CRM or Customer Relationship Management means different things to different people,...
- Tags: CRM, Advertising & Promotion, Customer Relationship Management (CRM), Enterprise Software, Marketing, Software
- White papers
- Take advantage of code platform advances by creating and using anonymous methods
- In C# 1.1, declaring and using a delegate required you to have the delegate, a method with a matching signature to execute when the delegate is triggered, and an assignment statement that associated the delegate with the named method. As a new feature of C# 2.0, anonymous methods are able...
- Tags: Method, Delegate, Zach Smith, C#, .Net, Programming Languages, Software Development, Software/Web Development
- Download resources 2006-10-25
- Does your firm have a formal program for evaluating vendors?
- Polling Place examines the results from TechRepublic's Quick Poll: Does your firm have a formal program for evaluating vendors?
- Tags: TechRepublic Staff, firm-have, Polling Place
- Technical articles 2000-10-26
- Lessons From the Field: Developing Standards
- Developing UML standards is an important first step in achieving consistency and efficiency in an enterprise. Consistent modelling means consistent understanding between the modellers and their audience. Consistent modelling practices also make for easy movement of resources between teams without extended learning curves. Some of the lessons Xpdian has learned...
- Tags: Standards, Quality, UML, Business Operations, Ooa/Ood/Oop, Software Development, Software/Web Development
- Case studies
- City of Westminster: Information Technology Department Strategic Plan
- The purpose of establishing a formal strategic plan for the City of Westminster Information Technology Department is to provide a clear, comprehensive document to effectively communicate the City's technology direction, priorities and strategy, and to consolidate multiple documented and undocumented strategies into a formal plan. Furthermore, this plan serves to...
- Tags: Information Technology, Strategy, Management
- White papers 2005-01-01
- A Refinement-Tree Based Partitioning Method for Dynamic Load Balancing With Adaptively Refined Grids
- The partitioning of an adaptive grid for distribution over parallel processors is considered in the context of adaptive multilevel methods for solving partial differential equations. A partitioning method based on the refinement-tree is presented. This method applies to most types of grids in two and three dimensions. For triangular and...
- Tags: Method, Load Balancing, Grid, Network Technology, Networking
- White papers 2006-12-05
- Formal Correctness of Conflict Detection for Firewalls
- This paper describes the formalization of a correctness proof for a conflict detection algorithm for firewalls in the Coq Proof Assistant. First, it gives formal definitions in Coq of a firewall access rule and of an access request to a firewall. Formally, two rules are in conflict if there exists...
- Tags: Association For Computing Machinery, Firewalls, Network Security, Security, Networking
- White papers 2007-11-02
- << Previous
- page 1 of 1
- Next >>
