Sponsored White Papers, Webcasts, and Downloads
Additional Resources
- Service-Oriented Requirement Engineering and Verification
- This paper introduces a new development paradigm for business-oriented development that uses graphical and formal modeling techniques to make the development process transparent not only to technical but also business related project members. Various system development life cycle models have already introduced concepts to facilitate analysis, design and implementation of...
- Tags: Concept, Development Paradigm, Service-Oriented Architecture (SOA), Research & Development, Productivity, Web Services, Middleware, Enterprise Software, Software, Business Operations
- White papers 2004-12-02
- Sport Concept Cars (exe)
- The Sport Concept Cars screensaver contains 22 photos of prototype cars released between 2003 and 2005. Some of the cars included in this screensaver are Aston Martin AMV8 Vantage Concept, Mitsuoka Orochi Concept, Honda HSC Concept, Mercury Messenger Concept, Subaru B11S Concept, Audi RSQ Concept, and Ford Shelby GR 1...
- Tags: Concept Car, Screensaver, Sport Concept Cars Screensaver
- Software downloads 2005-10-14
- Detailed Descriptions of New Proof-of-Concept Bluetooth Security Analysis Tools and New Security Attacks
- This paper describes the details of two new proof-of-concept Bluetooth security analysis tools and two new attacks against Bluetooth security. On-Line PIN Cracking script is a security analysis tool for on-line Bluetooth device PIN cracking. Brute-Force BD ADDR Scanning script is a security analysis tool for brute-force discovery of the...
- Tags: Attack, Security Analysis Tool, Bluetooth, Wi-Fi, Security, Wireless
- White papers 2005-10-06
- For-LySa: UML for Authentication Analysis
- The DEGAS project aims at enriching standard UML-centred development environments in such a way that the developers of global applications can exploit automated formal analyses with minimal overhead. This paper presents For-LySa, an instantiation of the DEGAS approach for authentication analysis, which exploits an existing analysis tool developed for the...
- Tags: Authentication, University Of Pisa, UML, Programming Languages, Security, Ooa/Ood/Oop, Software Development, Software/Web Development
- White papers 2008-01-01
- On the Safety and Efficiency of Firewall Policy Deployment
- Firewall policy management is challenging and error-prone. While ample research has led to tools for policy specification, correctness analysis, and optimization, few researchers have paid attention to firewall policy deployment: the process where a management tool edits a firewall's configuration to make it run the policies specified in the tool....
- Tags: Policy Deployment, Firewall Policy Management, Firewalls, Network Security, Security, Networking
- White papers 2007-03-10
- Dependability Analysis of Web Service-Based Business Processes by Model Transformations
- A typical composite Web service is built of basic Web services, both internal and external, over which the integrator does not have a complete control. The service-based integration of enterprise systems raises the need for the analysis of non-functional characteristics of a composite Web service. Such an analysis should cover...
- Tags: Business Process, Web, Web Service, Analysis, Web Services, Enterprise Software, Software
- White papers 2005-04-11
- A UML Class Diagram Analyzer
- Automatic analysis of UML models constrained by OCL invariants is still an open research topic. Especially for critical systems, such tool support is important for early identification of errors in modeling, before functional requirements are implemented. This paper presents ideas on an approach for automatic analysis of UML class diagrams,...
- Tags: Object-oriented, Modeling, UML, Research & Development, Ooa/Ood/Oop, Programming Languages, Software Development, Software/Web Development, Business Operations
- White papers 2004-09-11
- Formal Analysis of SAML 2.0 Web Browser Single Sign-On: Breaking the SAML-Based Single Sign-on for Google Apps
- Single-Sign-On SSO protocols enable companies to establish a federated environment in which clients sign in the system once and yet are able to access to services offered by different companies. The OASIS Security Assertion Markup Language SAML 2.0 Web Browser SSO Profile is the emerging standard in this context. This...
- Tags: Google Inc., Google Apps, SAML, Single Sign-on, Analysis, Authentication/Encryption, Web Services, Security, Enterprise Software, Software
- White papers 2008-10-27
- UML 2.0 State Machines: Complete Formal Semantics Via Core State Machines
- UML has become the standard modeling language for object-oriented systems. The informal description of UML and its continuous extension cause many ambiguities. Therefore, a formal semantics for UML is necessary, especially for formal reasoning and tool development. The paper presents a formal semantics of UML 2.0 state machines, which are...
- Tags: UML 2.0, Semantics, UML, Programming Languages, Research & Development, Ooa/Ood/Oop, Software Development, Software/Web Development, Business Operations
- White papers 2006-09-27
- Systems Engineering With Statemate MAGNUM
- This webcast covers topics like requirements capture using UML notations, requirements analysis via executable use case models, traceability to text requirements, model-based systems analysis and design, rapid prototyping, verification/validation of the systems design through formal methods, automatic test case generation and transition to object-oriented UML software engineering.
- Tags: Use Case, I-Logix, UML, Programming Languages, Ooa/Ood/Oop, Software Development, Software/Web Development
- Webcasts
- Security Vulnerabilities: From Analysis to Detection and Masking Techniques
- This paper presents a study that uses extensive analysis of real security vulnerabilities to drive the development of: runtime techniques for detection/masking of security attacks and formal source code analysis methods to enable identification and removal of potential security vulnerabilities. A Finite-State Machine FSM approach is employed to decompose programs...
- Tags: Technique, Vulnerability, Security Vulnerability, Analysis, Security
- White papers 2006-02-01
- Using Description Logics for Network Vulnerability Analysis
- The distributed nature and complexity of computer networks and various services provided via them, makes the networks vulnerable to numerous attacks. The TCP/IP presumptions which are based on using this protocol to provide a simple, open communication infrastructure in an academic and collaborative environment, causes this protocol lack of built-in...
- Tags: Network, Vulnerability, Analysis, Tcp/Ip, Networking, Network Technology, Security
- White papers 2005-12-03
- A Formal Event Model of Linux USB Block Device Identities
- When a USB mass storage device is attached to a Linux box, is appears to the system as a SCSI block device with a logical identity such as sda, sdb etc. A user who is going to mount a file system held on such a device needs to know what...
- Tags: Identity, Linux, Open Source, Operating Systems, Software
- White papers
- The Concept of Classification in Data Mining Using Neural Networks
- The paper uses a 3 layer feed forward Artificial Neural Network ANN using back propagation algorithm as a framework to classify customers of a German automobile company into different categories. This classification is performed on the three divisions of the company. The breakdown of customers into different categories is primarily...
- Tags: Network, Neural Network, Classification, Data Mining, Business Intelligence, Marketing Research, Databases, Enterprise Software, Software, Data Management, Marketing
- White papers 2006-01-22
- Ford Bronco Concept Screensaver (zip)
- At the 2004 North American International Auto Show, a Bronco concept car was introduced. Some features of the concept car, like the box-like roof line, short wheelbase, are features associated with the Early Bronco, but the concept car also had a 2.0 L intercooled turbodiesel engine and a six-speed manual...
- Tags: Car, Concept Car, Screensaver, Ford Motor Co., Wallpaper Screensavers, Ford Bronco Concept Screensaver
- Software downloads 2007-12-14
- Touch Typing Deluxe - Typing Tutor (exe)
- This typing tutor provides diversified and effective training of touch typing with six different lesson types and a detailed result analysis. As a special feature the program downloads news even for kids from RSS feeds in various sections which are available for typing as well as a great selection of...
- Tags: Analysis, Lesson, Vinarski IT Services, RSS, Internet
- Software downloads 2008-05-20
- Marginal Interpretation of Subject-Specific Curves: Logistic-Normal Regression
- This paper proposes the percentile curves concept as conditional probabilities curves across representative percentiles of the distribution of curves induced by random effects in a logistic model with random intercepts. The authors extend this concept to a logistic model with random intercepts and slopes and propose a methodology to approximate...
- Tags: Concept, SAS Institute
- White papers 2007-05-14
- Game-Based Analysis of Denial-of-Service Prevention Protocols
- Availability is a critical issue in modern distributed systems. While many techniques and protocols for preventing Denial of Service DoS attacks have been proposed and deployed in recent years, formal methods for analyzing and proving them correct have not kept up with the state of the art in DoS prevention....
- Tags: Game, Denial Of Service, University Of Texas, Analysis, Security
- White papers 2007-04-16
- AmpleSight Trader (msi)
- AmpleSight is a pioneer tool for performing intermarket analysis in various time frames and representing overwhelming market visualization on your computer screen. It is a new trading software for stock, commodity, currency and futures market. The concept and functionality of AmpleSight are based on two underlying approaches: provide a set...
- Tags: Analysis, Tool, Alyuda Research, AmpleSight, Productivity
- Software downloads 2007-12-07
- << Previous
- page 1 of 1
- Next >>
