Sciweavers

755 search results - page 25 / 151
» ideas 2005
Sort
View
APSEC
2005
IEEE
15 years 3 months ago
Simulation-based Validation and Defect Localization for Evolving, Semi-Formal Requirements Models
When requirements models are developed in an iterative and evolutionary way, requirements validation becomes a major problem. In order to detect and fix problems early, the speci...
Christian Seybold, Silvio Meier
DATE
2005
IEEE
102views Hardware» more  DATE 2005»
15 years 3 months 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
FOCS
2005
IEEE
15 years 3 months ago
Towards a Final Analysis of Pairing Heaps
Fredman, Sedgewick, Sleator, and Tarjan proposed the pairing heap as a self-adjusting, streamlined version of the Fibonacci heap. It provably supports all priority queue operation...
Seth Pettie
71
Voted
HICSS
2005
IEEE
99views Biometrics» more  HICSS 2005»
15 years 3 months ago
The Meaning of Arrows: Diagrams and Other Facets in System Sciences Literature
Understanding the use of diagrams and other components of scholarly systems-related papers may inform us about the papers, the field, and the way we think. We analyze 495 papers c...
Jeffrey V. Nickerson
85
Voted
HICSS
2005
IEEE
161views Biometrics» more  HICSS 2005»
15 years 3 months ago
Data Assurance in a Conventional File Systems
The goal of this research is to find a mechanism to guarantee that a file stored in a conventional file system, on disk, has not been modified. Our proposal for achieving that goa...
Sasa Rudan, Aleksandra Kovacevic, Charles A. Milli...