789 search results - page 45 / 158 » A Formal Model for Epistemic Interactions |
ENTCS
2008
13 years 8 months ago
2008
Engineering natural and appropriate interactive behaviour in ubiquitous computing systems presents new challenges to their developers. This paper explores formal models of interac...
IEE
2008
13 years 8 months ago
2008
: From a maintenance perspective, only software that is well understood can evolve in a controlled and high-quality manner. Software evolution itself is a knowledge-driven process ...
KBS
2007
13 years 8 months ago
2007
In this paper we present our design tool GUIDE, which allows the user to explore a design in UML interactively by playing a game. The game incorporates both the design model and a...
FORTE
2009
13 years 6 months ago
2009
Abstract. In this paper, we present an approach to define the semantics for object-oriented modeling languages. One important property of this semantics is to support underspecifie...
DAC
2009
ACM
14 years 9 months ago
2009
ACM
Functional validation of a processor design through execution of a suite of test programs is common industrial practice. In this paper, we develop a high-level architectural speci...