3771 search results - page 421 / 755 » Process modeling for future technologies |
195
click to vote
JUCS
2007
15 years 6 months ago
2007
: The modelling of educational processes and their operational support is a key aspect in the construction of more effective e-learning applications. Instructional models are usual...
211
Voted
IEEEHPCS
2010
15 years 5 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
174
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
It is widely accepted that (1) the natural or folded state of proteins is a global energy minimum, and (2) in most cases proteins fold to a unique state determined by their amino ...
192
click to vote
SUM
2009
Springer
16 years 1 months ago
2009
Springer
Bayesian networks are probabilistic graphical models widely employed in AI for the implementation of knowledge-based systems. Standard inference algorithms can update the beliefs a...
205
click to vote
DAC
2006
ACM
16 years 23 days ago
2006
ACM
Negative bias temperature instability (NBTI) has become the dominant reliability concern for nanoscale PMOS transistors. In this paper, a predictive model is developed for the deg...