3457 search results - page 79 / 692 » A Symbol Is Not a Symbol |
85
Voted
SIGSOFT
2007
ACM
16 years 1 months ago
2007
ACM
Message Sequence Charts (MSCs) are a widely used visual formalism for scenario-based specifications of distributed reactive systems. In its conventional usage, an MSC captures an ...
88
Voted
IAT
2009
IEEE
15 years 7 months ago
2009
IEEE
—High level conceptual thought seems to be at the basis of the impressive human cognitive ability. Classical topdown (Logic based) and bottom-up (Connectionist) approaches to the...
96
Voted
ICDCS
2007
IEEE
2007
IEEE
Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space
15 years 7 months ago
Automated formal analysis methods such as program verification and synthesis algorithms often suffer from time complexity of their decision procedures and also high space complex...
90
Voted
HYBRID
2007
Springer
15 years 6 months ago
2007
Springer
We consider the problem of verifying reachability properties of stochastic real-time systems modeled as generalized semi-Markov processes (GSMPs). The standard simulation-based tec...
110
Voted
MM
2003
ACM
15 years 5 months ago
2003
ACM
An algorithm is presented that automatically matches images of presentation slides to the symbolic source file (e.g., PowerPointTM or AcrobatTM ) from which they were generated. T...