Sciweavers

8689 search results - page 293 / 1738
» Software: hard data
Sort
View
MLDM
2007
Springer
16 years 24 days ago
Applying Frequent Sequence Mining to Identify Design Flaws in Enterprise Software Systems
In this paper we show how frequent sequence mining (FSM) can be applied to data produced by monitoring distributed enterprise applications. In particular we show how we applied FSM...
Trevor Parsons, John Murphy, Patrick O'Sullivan
NPC
2005
Springer
16 years 4 days ago
Globus Toolkit Version 4: Software for Service-Oriented Systems
The Globus Toolkit (GT) has been developed since the late 1990s to support the development of service-oriented distributed computing applications and infrastructures. Core GT compo...
Ian T. Foster
ATVA
2008
Springer
87views Hardware» more  ATVA 2008»
15 years 8 months ago
Goanna: Syntactic Software Model Checking
Goanna is an industrial-strength static analysis tool used in academia and industry alike to find bugs in C/C++ programs. Unlike existing approaches Goanna uses the off-the-shelf N...
Ralf Huuck, Ansgar Fehnker, Sean Seefried, Jö...
FM
2008
Springer
130views Formal Methods» more  FM 2008»
15 years 8 months ago
Specification and Checking of Software Contracts for Conditional Information Flow
Abstract. Information assurance applications built according to the MILS (Multiple Independent Levels of Security) architecture often contain information flow policies that are con...
Torben Amtoft, John Hatcliff, Edwin Rodrígu...
JSS
2007
82views more  JSS 2007»
15 years 6 months ago
The impacts of software product management
The success of any product depends on the skills and competence of the product manager. This article evaluates the relevance of good product management on the success of a product...
Christof Ebert