3199 search results - page 536 / 640 » Variability in Automation System Models |
105
Voted
SIGCSE
2004
ACM
15 years 8 months ago
2004
ACM
The nearly three dozen core technologies of computing sit in a simple framework defined by great principles and by computing practices. The great principles are of two kinds, mech...
136
Voted
CSFW
2004
IEEE
15 years 6 months ago
2004
IEEE
Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protocol environ...
133
click to vote
FAST
2009
15 years 9 days ago
2009
Some tasks in a dataspace (a loose collection of heterogeneous data sources) require integration of fine-grained data from diverse sources. This work is often done by end users kn...
151
click to vote
TCAD
2010
14 years 9 months ago
2010
The growing complexity of systems and their implementation into silicon encourages designers to look for model designs at higher levels of abstraction and then incrementally build ...
123
click to vote
ECAI
2004
Springer
15 years 8 months ago
2004
Springer
Attempts to use finite models to guide the search for proofs by resolution and the like in first order logic all suffer from the need to trade off the expense of generating and m...