2909 search results - page 234 / 582 » Consistency of the theory of contexts |
171
click to vote
OZCHI
2006
ACM
16 years 15 days ago
2006
ACM
This paper describes a pilot project to research the use of a dynamic visual interface as the basis of a scenarioplanning tool. We introduce ‘flow’ as a theoretical framework ...
179
click to vote
VALUETOOLS
2006
ACM
16 years 15 days ago
2006
ACM
In the context of communication networks, the framework of stochastic event graphs allows a modeling of control mechanisms induced by the communication protocol and an analysis of ...
157
click to vote
LICS
2005
IEEE
16 years 4 days ago
2005
IEEE
The theory of reactive systems, introduced by Leifer and Milner and previously extended by the authors, allows the derivation of well-behaved labelled transition systems (LTS) for...
152
click to vote
ASPDAC
2005
ACM
16 years 4 days ago
2005
ACM
— In this paper we present new lower bounds on BDD size. These lower bounds are derived from more general lower bounds that recently were given in the context of exact BDD minimi...
171
click to vote
HT
2005
ACM
16 years 4 days ago
2005
ACM
Hypermedia systems’ researchers investigate the various approaches in the way documents and resources are linked, navigated and stored in a distributed environment. Unfortunatel...