1624 search results - page 95 / 325 » Modelling Variability for System Families |
WSC
2008
14 years 8 days ago
2008
Typically, system dynamics-based simulations of business processes are constructed in an ad hoc manner, with a modeler creating low-level components and defining interrelationship...
KI
2002
Springer
13 years 9 months ago
2002
Springer
This article summarizes research on several interrelated general issues that can arise in the design and development of user modeling systems: the learning and subsequent adaptati...
SPIN
2000
Springer
14 years 1 months ago
2000
Springer
Systematic state-space exploration is a powerful technique for veri cation of concurrent software systems. Most work in this area deals with manually-constructed models of those sy...
TPHOL
2009
IEEE
14 years 4 months ago
2009
IEEE
ion and equality to base types but retains lambda abstractions and higher-order variables. We show that this fragment enjoys the characteristic properties of first-order logic: co...
ISBI
2008
IEEE
14 years 10 months ago
2008
IEEE
A major source of information for identifying subcellular location on a proteome-wide basis will be imaging of tagged proteins in living cells using fluorescence microscopy. We ha...