3457 search results - page 393 / 692 » A Symbol Is Not a Symbol |
155
click to vote
IESS
2007
Springer
16 years 29 days ago
2007
Springer
Changing demands, software evolution, and bug fixes require the possibility to update applications as well as system software of embedded devices. Systems that perform updates of ...
176
click to vote
ISSAC
2007
Springer
16 years 28 days ago
2007
Springer
It is only in the last five years that researchers have begun to use disk-based search techniques on a large scale. The primary examples of its use come from symbolic algebra and...
171
click to vote
LFCS
2007
Springer
16 years 28 days ago
2007
Springer
We combine first-order dynamic logic for reasoning about possible behaviour of hybrid systems with temporal logic for reasoning about the temporal behaviour during their operation...
143
Voted
MFCS
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. We investigate the structure of the set of gapped motifs (repeated patterns with don’t cares) of a given string of symbols. A natural equivalence classification is int...
148
click to vote
RTA
2007
Springer
16 years 28 days ago
2007
Springer
In the analysis of cryptographic protocols, a treacherous set of terms is one from which an intruder can get access to what was intended to be secret, by adding on to the top of a ...