61 search results - page 6 / 13 » Bridging the Gap between Analysis and Design Using Dependenc... |
HICSS
2009
IEEE
15 years 6 months ago
2009
IEEE
The use of formal methods has long been advocated in the development of secure systems. Yet, methods for deriving design from requirements that guarantee retention of the intended...
86
Voted
MKWI
2008
15 years 1 months ago
2008
: The possibility of a direct link between business workflows and the supporting application system is often seen as the critical strength of the SOA paradigm. Though in practice, ...
DOLAP
2008
ACM
15 years 1 months ago
2008
ACM
Multidimensional analysis allows decision makers to efficiently and effectively use data analysis tools, which mainly depend on multidimensional (MD) structures of a data warehous...
104
click to vote
EIT
2008
IEEE
15 years 1 months ago
2008
IEEE
Abstract--In the decade since the concept was publicly introduced, power analysis attacks on cryptographic systems have become an increasingly studied topic in the computer securit...
114
click to vote
APN
2006
Springer
2006
Springer
From Petri Nets to Differential Equations - An Integrative Approach for Biochemical Network Analysis
15 years 1 months ago
Abstract. We report on the results of an investigation into the integration of Petri nets and ordinary differential equations (ODEs) for the modelling and analysis of biochemical n...