Sciweavers

12670 search results - page 183 / 2534
» Requirements Modeling
Sort
View
ERCIMDL
1999
Springer
111views Education» more  ERCIMDL 1999»
15 years 11 months ago
PIA - A Generic Model and System for Interactive Product and Service Catalogs
Abstract. This text motivates and de nes a generic model for interactive online or o ine product catalogs. Based on a detailed requirements analysis, the data model is de ned usi...
Florian Matthes, Ulrike Steffens
153
Voted
WSC
2007
15 years 9 months ago
Beyond the university: simulation education on the job
Simulation modelers have a diversity of educational backgrounds including several engineering and scientific disciplines, mathematics and computer related fields. Many of the skil...
Peter Tag, David Krahl
ICALT
2005
IEEE
16 years 17 days ago
Towards an Advanced Modeling System Applying a Service-Based Approach
Based on the overall aims of the AdeLE (Adaptive e-Learning with Eye-Tracking) project, and in particular motivated by the decision of using a strictly separated system’s archit...
Christian Gütl, Victor Manuel García-B...
176
Voted
PVM
2007
Springer
16 years 1 months ago
Practical Model-Checking Method for Verifying Correctness of MPI Programs
Formal program verification often requires creating a model of the program and running it through a model-checking tool. However, this model-creation step is itself error prone, t...
Salman Pervez, Ganesh Gopalakrishnan, Robert M. Ki...
NN
2006
Springer
101views Neural Networks» more  NN 2006»
15 years 7 months ago
A robot model of the basal ganglia: Behavior and intrinsic processing
The existence of multiple parallel loops connecting sensorimotor systems to the basal ganglia has given rise to proposals that these nuclei serve as a selection mechanism resolvin...
Tony J. Prescott, Fernando M. Montes Gonzál...