1393 search results - page 54 / 279 » From Models to Interactive Systems Tool Support and XIML |
178
click to vote
QEST
2010
IEEE
15 years 4 months ago
2010
IEEE
Discrete-Time Markov Chains (DTMCs) are a widely-used formalism to model probabilistic systems. On the one hand, available tools like PRISM or MRMC offer efficient model checking a...
179
click to vote
ICDCS
1999
IEEE
15 years 10 months ago
1999
IEEE
There is growing interest in run-time detection as parallel and distributed systems grow larger and more complex. This work targets run-time analysis of complex, interactive scien...
274
click to vote
VLDB
2008
ACM
16 years 6 months ago
2008
ACM
With the development of inexpensive storage devices, space usage is no longer a bottleneck for computer users. However, the increasingly large amount of personal information poses ...
159
click to vote
CHI
2009
ACM
16 years 6 months ago
2009
ACM
We discuss the problem of assessing and aiding user performance in dynamic tasks that require rapid selection among multiple information sources. Motivated by research in human se...
140
click to vote
HCI
2009
15 years 4 months ago
2009
We propose a 3D modeler for supporting in-situ indoor modeling effectively. The modeler allows a user easily to create models from a single photo by interaction techniques taking a...