5358 search results - page 114 / 1072 » Script-based Presentation of Simulation Results |
145
click to vote
FSTTCS
2009
Springer
16 years 25 days ago
2009
Springer
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...
164
click to vote
ITS
2004
Springer
2004
Springer
Combining Heuristics and Formal Methods in a Tool for Supporting Simulation-Based Discovery Learning
15 years 11 months ago
Abstract. This paper describes the design of a tool to support learners in simulation-based discovery learning environments. The design redesigns and extents a previous tool to ove...
178
click to vote
VLSID
1997
IEEE
15 years 10 months ago
1997
IEEE
The problem of test generation belongs to the class of NP-complete problems and it is becoming more and more di cult as the complexity of VLSI circuits increases, and as long as e...
139
click to vote
JCC
2008
15 years 6 months ago
2008
Abstract: An increased circular dichroism (CD) signal of large molecular aggregates formed upon DNA condensation was observed a long time ago, and is often referred to as w-CD. The...
149
click to vote
SIAMSC
2008
15 years 6 months ago
2008
Abstract. Hybrid or multiphysics algorithms provide an efficient computational tool for combining micro- and macroscale descriptions of physical phenomena. Their use becomes impera...