Sciweavers

3555 search results - page 320 / 711
» Security-Critical System Development with Extended Use Cases
Sort
View
DATE
2005
IEEE
102views Hardware» more  DATE 2005»
16 years 8 days ago
Modeling of a Reconfigurable OFDM IP Block Family For an RF System Simulator
The idea of design domain specific Mother Model of IP block family as a base of modeling of system integration is presented here. A common reconfigurable Mother Model for ten diff...
Hannu Heusala, Jussi Liedes
HICSS
2006
IEEE
86views Biometrics» more  HICSS 2006»
16 years 21 days ago
How Voluntary Online Learning Communities Emerge in Blended Courses
A comparative case study used content analysis to observe the emergence of voluntary online learning communities in two blended courses. The study developed an interaction-based a...
Robert Heckman, Qing Li, Xue Xiao
FOSSACS
2004
Springer
16 years 1 days ago
Choice in Dynamic Linking
We introduce a computational interpretation for Hilbert’s choice operator (ε). This interpretation yields a typed foundation for dynamic linking in software systems. The use of ...
Martín Abadi, Georges Gonthier, Benjamin We...
CASES
2003
ACM
15 years 12 months ago
Lattice-based memory allocation
—We investigate the problem of memory reuse in order to reduce the memory needed to store an array variable. We develop techniques that can lead to smaller memory requirements in...
Alain Darte, Robert Schreiber, Gilles Villard
CSREAESA
2006
15 years 8 months ago
Reliable Management Services for COTS-based Space Systems and Applications
Hybrid spacecraft processing platforms that combine radiation-hardened components with commercialgrade COTS components have the potential to dramatically improve performance while ...
Ian A. Troxel, Eric Grobelny, Grzegorz Cieslewski,...