Sciweavers

1624 search results - page 214 / 325
» Modelling Variability for System Families
Sort
View
156
Voted
JCB
2006
185views more  JCB 2006»
15 years 3 months ago
A Probabilistic Methodology for Integrating Knowledge and Experiments on Biological Networks
Biological systems are traditionally studied by focusing on a specific subsystem, building an intuitive model for it, and refining the model using results from carefully designed ...
Irit Gat-Viks, Amos Tanay, Daniela Raijman, Ron Sh...
162
Voted
TACAS
2012
Springer
275views Algorithms» more  TACAS 2012»
13 years 11 months ago
Pushdown Model Checking for Malware Detection
The number of malware is growing extraordinarily fast. Therefore, it is important to have efficient malware detectors. Malware writers try to obfuscate their code by different tec...
Fu Song, Tayssir Touili
122
Voted
EOR
2010
110views more  EOR 2010»
15 years 3 months ago
Pricing surplus server capacity for mean waiting time sensitive customers
Resources including various assets of supply chains, face random demand over time and can be shared by others. We consider an operational setting where a resource is shared by two...
Sudhir K. Sinha, N. Rangaraj, N. Hemachandra
170
Voted
AIED
2007
Springer
15 years 7 months ago
Evaluating a Collaborative Constraint-based Tutor for UML Class Diagrams
COLLECT-UML is a collaborative constraint-based tutor for teaching object-oriented analysis and design using Unified Modelling Language. It is the first system in the family of con...
Nilufar Baghaei, Antonija Mitrovic
CCGRID
2007
IEEE
15 years 10 months ago
Optimizing jobs timeouts on clusters and production grids
This paper presents a method to optimize the timeout value of computing jobs. It relies on a model of the job execution time that considers the job management system latency throu...
Tristan Glatard, Xavier Pennec