4460 search results - page 97 / 892 » Formal methods for interactive systems |
ER
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. We address the challenge of adaptation in open systems. Open systems are characterized by interactions among autonomous and heterogeneous participants. In such systems, e...
ICCAD
1994
IEEE
15 years 2 months ago
1994
IEEE
Language containment is a method for design verification that involves checking if the behavior of the system to be verified is a subset of the behavior of the specifications (pro...
ASPDAC
2009
ACM
15 years 2 months ago
2009
ACM
— This paper proposes the first automatic approach to simultaneously generate Cycle Accurate and Cycle Count Accurate transaction level bus models. Since TLM (Transaction Level M...
EACL
1989
ACL Anthology
14 years 11 months ago
1989
ACL Anthology
This paper shows how higher levels of generalization can be introduced into unification grammars by exploiting methods for typing grammatical objects. We discuss the strategy of u...
FOIKS
2004
Springer
15 years 3 months ago
2004
Springer
We introduce the formal framework of a generalized interaction scheme for information access between users and information sources. Within this framework we describe an interactio...