Sciweavers

1810 search results - page 128 / 362
» Informational Macrodynamics: System Modelling and Simulation...
Sort
View
116
Voted
CAISE
1997
Springer
15 years 7 months ago
OO-METHOD: An OO Software Production Environment Combining Conventional and Formal Methods
OO-Method is an OO Methodology that blends the use of formal specification systems with conventional OO methodologies based on practice. In contrast to other approaches in this fi...
Oscar Pastor, Emilio Insfrán, Vicente Pelec...
112
Voted
HICSS
2007
IEEE
172views Biometrics» more  HICSS 2007»
15 years 10 months ago
Support for Computer Forensics Examination Planning with Domain Modeling: A Report of One Experiment Trial
In any forensic investigation, planning and analysis activities are required in order to determine what digital media will be seized, what types of information will be sought in t...
Alfred C. Bogen, David A. Dampier, Jeffrey C. Carv...
169
Voted
ICPPW
2005
IEEE
15 years 9 months ago
Performance Prophet: A Performance Modeling and Prediction Tool for Parallel and Distributed Programs
High-performance computing is essential for solving large problems and for reducing the time to solution for a single problem. Current top high-performance computing systems conta...
Sabri Pllana, Thomas Fahringer
138
Voted
DATE
2003
IEEE
117views Hardware» more  DATE 2003»
15 years 9 months ago
Exploring SW Performance Using SoC Transaction-Level Modeling
This paper presents VISTA, a new methodology and tool dedicated to analyse system level performance by executing full-scale SW application code on a transaction-level model of the...
Imed Moussa, Thierry Grellier, Giang Nguyen
136
Voted
WSC
2008
15 years 6 months ago
The APIOBPCS Deziel and Eilon parameter configuration in supply chain under progressive information sharing strategies
The aim of this paper is to investigate how different smoothing parameter levels of the Automatic Pipeline Inventory and Order Based Production Control System smoothing replenishm...
Salvatore Cannella, Elena Ciancimino