Sciweavers

1843 search results - page 307 / 369
» Securing Class Initialization
Sort
View
SIGMETRICS
1998
ACM
14 years 2 months ago
Scheduling Policies to Support Distributed 3D Multimedia Applications
We consider the problem of scheduling tasks with unpredictable service times on distinct processing nodes so as to meet a real-time deadline, given that all communication among no...
Thu D. Nguyen, John Zahorjan
DISCO
1993
156views Hardware» more  DISCO 1993»
14 years 2 months ago
Variant Handling, Inheritance and Composition in the ObjectMath Computer Algebra Environment
ObjectMath is a high-level programming environment and modeling language for scientific computing which supports variants and graphical browsing in the environment and integrates o...
Peter Fritzson, Vadim Engelson, Lars Viklund
AMAI
2007
Springer
13 years 10 months ago
Relational concept discovery in structured datasets
Relational datasets, i.e., datasets in which individuals are described both by their own features and by their relations to other individuals, arise from various sources such as d...
Marianne Huchard, Mohamed Rouane Hacene, Cyril Rou...
APAL
2010
115views more  APAL 2010»
13 years 10 months ago
Kripke semantics for provability logic GLP
A well-known polymodal provability logic GLP is complete w.r.t. the arithmetical semantics where modalities correspond to reflection principles of restricted logical complexity in...
Lev D. Beklemishev
BMCBI
2008
146views more  BMCBI 2008»
13 years 10 months ago
Can molecular dynamics simulations help in discriminating correct from erroneous protein 3D models?
Background: Recent approaches for predicting the three-dimensional (3D) structure of proteins such as de novo or fold recognition methods mostly rely on simplified energy potentia...
Jean-François Taly, Antoine Marin, Jean-Fra...