2687 search results - page 456 / 538 » Formal Analysis of PKCS |
159
click to vote
SEKE
2004
Springer
15 years 11 months ago
2004
Springer
Feature modeling is a popular domain analysis method for describing the commonality and variability among the domain products. The current formalisms of feature modelling do not ha...
182
Voted
UML
2004
Springer
15 years 11 months ago
2004
Springer
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...
156
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
1 In the complexity and simulation communities there is growing support for the use of bottom-up computer-based simulation in the analysis of complex systems. The presumption is th...
141
Voted
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper crystallises out some key findings of knowledge management practices from a Finnish survey on the insurance industry. 15 Finnish insurance companies of different sizes ...
153
click to vote
ICTAI
2003
IEEE
15 years 11 months ago
2003
IEEE
With the exploding volume of microarray experiments comes increasing interest in mining repositories of such data. Meaningfully combining results from varied experiments on an equ...