Sciweavers

1307 search results - page 189 / 262
» Conceptual models: begin by designing what to design
Sort
View
JUCS
2000
102views more  JUCS 2000»
13 years 7 months ago
Towards Two-Level Formal Modeling of Computer-Based Systems
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...
Gabor Karsai, Greg Nordstrom, Ákos Lé...
CORR
2007
Springer
135views Education» more  CORR 2007»
13 years 8 months ago
AMIEDoT: An annotation model for document tracking and recommendation service
The primary objective of document annotation in whatever form, manual or electronic is to allow those who may not have control to original document to provide personal view on inf...
Charles A. Robert
SC
1991
ACM
13 years 11 months ago
Input/output behavior of supercomputing applications
: This paper describes the collection and analysis of supercomputer I/O traces and their use in a collection of buffering and caching simulations. This serves two purposes. First, ...
Ethan L. Miller, Randy H. Katz
WSC
2001
13 years 9 months ago
Software for uniform random number generation: distinguishing the good and the bad
The requirements, design principles, and statistical testing approaches of uniform random number generators for simulation are briefly surveyed. An objectoriented random number pa...
Pierre L'Ecuyer
SIGDIAL
2010
13 years 5 months ago
Advances in the Witchcraft Workbench Project
The Workbench for Intelligent exploraTion of Human ComputeR conversaTions is a new platform-independent open-source workbench designed for the analysis, mining and management of l...
Alexander Schmitt, Wolfgang Minker, Nada Sharaf