615 search results - page 5 / 123 » High-Level Nondeterministic Abstractions in |
IWUC
2004
13 years 11 months ago
2004
There is an inherent chasm between the real-world and the world that can be perceived by computer systems, yielding uncertainty and ambiguity in system perceived context, with cons...
MACE
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. A strategy-tree provides a systematic approach to the evaluation of the effectiveness of deployed policy sets and a mechanism to dynamically alter policy sets (i.e., alt...
CAV
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We present an unfolding-based approach to LTL-X modelchecking of high-level Petri nets. It is based on the method proposed by Esparza and Heljanko for low-level nets [4, ...
HCI
2007
13 years 11 months ago
2007
nded abstracts on Human factors in computing systems, San Jose. Jokela, T. (2007). Money for Better Usability. A Case Study on The Development of User Interface for A Mobile Phone....
ECEASST
2006
13 years 9 months ago
2006
Abstract. Adhesive high-level replacement (HLR) system have been recently introduced as a new categorical framework for graph transformation in the double pushout approach [1, 2]. ...