772 search results - page 3 / 155 » Creating and analysing models in IBM Task Modeler |
TACAS
2007
Springer
14 years 1 months ago
2007
Springer
We describe a new algorithm for analysing security protocols that use XOR, such as key-management APIs. As a case study, we consider the IBM 4758 CCA API, which is widely used in t...
ENTCS
2006
13 years 7 months ago
2006
Component based development is a promising approach for embedded systems. Typical for embedded software is the presence of resource constraints in multiple dimensions. An essentia...
ICST
2010
IEEE
13 years 5 months ago
2010
IEEE
A Feature Model (FM) is a compact representation of all the products of a software product line. The automated extraction of information from FMs is a thriving research topic invo...
EMISA
2010
Springer
13 years 5 months ago
2010
Springer
Abstract: Enterprises are socio technical systems whose management involves multiple stakeholders each demanding for a distinct perspective on the enterprise. A large number of mod...
CSL
2004
Springer
13 years 7 months ago
2004
Springer
Recently various techniques to improve the correlation model of feature vector elements in speech recognition systems have been proposed. Such techniques include semi-tied covaria...