Sciweavers

2274 search results - page 96 / 455
» Qualitative Modeling for Requirements Engineering
Sort
View
ICSE
2005
IEEE-ACM
16 years 6 months ago
Real-time specification patterns
Embedded systems are pervasive and frequently used for critical systems with time-dependent functionality. Dwyer et al. have developed qualitative specification patterns to facili...
Sascha Konrad, Betty H. C. Cheng
IMR
2004
Springer
15 years 11 months ago
Mechanical Criteria for the Preparation of Finite Element Models
The use of CAD in design makes it possible to represent complex components “as manufactured” with a great number of details. A transformation of such models into Finite Elemen...
Gilles Foucault, Philippe M. Marin, Jean-Claude L&...
WSC
2004
15 years 7 months ago
Incremental Planar Motion
A cellular engineer typically estimates system performance via simulation. An important input to this simulation is the average busy hour subscriber location distribution. The per...
Tony Dean
OR
2006
Springer
15 years 6 months ago
An AHP model for construction contractor prequalification
Given that contractor plays a critical role in any construction project, contractor selection constitutes key decision for public authorities. Prequalification, i.e. the eliminati...
K. P. Anagnostopoulos, A. P. Vavatsikos
SIMUTOOLS
2008
15 years 7 months ago
Snoopy: a tool to design and animate/simulate graph-based formalisms
We sketch the fundamental properties and features of Snoopy, a tool to model and execute (animate, simulate) hierarchical graph-based system descriptions. The tool comes along wit...
Monika Heiner, Ronny Richter, Martin Schwarick