9730 search results - page 298 / 1946 » Relating models of backtracking |
142
click to vote
ISCAS
2005
IEEE
15 years 10 months ago
2005
IEEE
— A novel method to extract the efficient model for Metal-Oxide-Semiconductor (MOS) transistors in order to satisfy a specific accuracy is presented. The approach presented here ...
193
click to vote
AMKM
2003
Springer
15 years 10 months ago
2003
Springer
This paper presents a multi-agent model to support decisionmaking in organizations. The model is characterized by being interactive, distributed, and incremental and by the use of...
162
click to vote
DSVIS
2000
Springer
15 years 9 months ago
2000
Springer
Model-Based User Interface Development Environments (MB-UIDEs) provide a context within which user interface declarative models can be constructed and related, as part of the user...
134
click to vote
CSFW
1999
IEEE
15 years 9 months ago
1999
IEEE
The combination of two security protocols, a simple shared-key communication protocol and the Di e-Hellman key distribution protocol, is modeled formally and proved correct. The m...
138
click to vote
ICCAD
1998
IEEE
15 years 9 months ago
1998
IEEE
In this paper, an approach to symbolic model checking of process networks is introduced. It is based on interval decision diagrams (IDDs), a representation of multi-valued functio...