Sciweavers

2846 search results - page 257 / 570
» A Software Performance Engineering Tool based on the UML-SPT
Sort
View
COMPSAC
2007
IEEE
15 years 10 months ago
Unified Property Specification for Hardware/Software Co-Verification
Hardware/software co-verification is becoming an indispensable tool for building highly trustworthy embedded systems. A stumbling block to effective co-verification using model ch...
Fei Xie, Huaiyu Liu
HICSS
2007
IEEE
137views Biometrics» more  HICSS 2007»
16 years 1 months ago
Value Driven Security Threat Modeling Based on Attack Path Analysis
This paper presents a quantitative threat modeling method, the Threat Modeling method based on Attack Path Analysis (T-MAP), which quantifies security threats by calculating the t...
Yue Chen, Barry W. Boehm, Luke Sheppard
REFSQ
2010
Springer
15 years 10 months ago
Binary Priority List for Prioritizing Software Requirements
Product managers in software companies are confronted with a continuous stream of incoming requirements. Due to limited resources they have to make a selection of those that can be...
Thomas Bebensee, Inge van de Weerd, Sjaak Brinkkem...
SERA
2009
Springer
16 years 1 months ago
An Agent-Based Web Services Market
Agent Based Web Services Market (AWSM) is a framework for agents to present and sell their capabilities as web services. Agents take certain roles and cooperate to constitute agent...
Ali Durmus, Nadia Erdogan
BMCBI
2004
95views more  BMCBI 2004»
15 years 6 months ago
PCOGR: Phylogenetic COG ranking as an online tool to judge the specificity of COGs with respect to freely definable groups of or
Background: The rapidly increasing number of completely sequenced genomes led to the establishment of the COG-database which, based on sequence homologies, assigns similar protein...
Florian Meereis, Michael Kaufmann