882 search results - page 33 / 177 » Allowing State Changes in Specifications |
150
click to vote
LDVF
2000
15 years 5 months ago
2000
The aim of this paper is to provide an analysis of the function of imperatives in dialogue. In particular, the focus is on the use of logically complex imperatives (e.g., `Say hel...
160
click to vote
GRID
2007
Springer
16 years 5 days ago
2007
Springer
— In order for Grids to become relied upon for critical infrastructure and reliable scientific computing, Grid-wide management must be automated so that it is possible in quickly...
157
click to vote
PE
2002
Springer
15 years 5 months ago
2002
Springer
Today many formalisms exist for specifying complex Markov chains. In contrast, formalisms for specifying rewards, enabling the analysis of long-run average performance properties,...
145
click to vote
UIST
2005
ACM
15 years 11 months ago
2005
ACM
Informal prototyping tools have shown great potential in facilitating the early stage design of user interfaces. However, continuous interactions, an important constituent of high...
134
click to vote
JCC
2008
15 years 6 months ago
2008
Abstract: Molecular dynamics simulations of the RN24 peptide, which includes a diverse set of structurally heterogeneous states, are carried out in explicit solvent. Two approaches...