501 search results - page 60 / 101 » Diagram Techniques for Confluence |
126
click to vote
ICCD
1995
IEEE
15 years 5 months ago
1995
IEEE
– This paper describes a new technique for extracting clock-level finite state machines(FSMs) from transistor netlists using symbolic simulation. The transistor netlist is prepr...
100
click to vote
WSC
2007
15 years 4 months ago
2007
Conceptual models serve as abstractions of user’s perceptions of a system. The choice and detailing of these abstractions are key to model use and understanding for analyst and ...
133
click to vote
IAAI
2003
15 years 3 months ago
2003
Sketch maps are an important spatial representation used in many geospatial reasoning tasks. This paper describes techniques we have developed that enable software to perform huma...
116
click to vote
CLEIEJ
2006
15 years 2 months ago
2006
: This paper presents an account of the experience observed when obtaining a set of requirements for the development of educational software for people with impaired vision. Numero...
JAR
2008
15 years 1 months ago
2008
We introduce a specification language, Promela-Lite, which captures the essential features of Promela but which, unlike Promela, has a formally defined semantics. We show how we ca...