11345 search results - page 1989 / 2269 » Foundations of Computer Science |
120
click to vote
IEEEARES
2008
IEEE
15 years 10 months ago
2008
IEEE
IT Security is a problem that can only be addressed and taught holistically. Just as broad as the field of ICT itself, IT Security is an integral part of all network and software ...
121
click to vote
LICS
2008
IEEE
15 years 10 months ago
2008
IEEE
We study the classes of B¨uchi and Rabin automatic structures. For B¨uchi (Rabin) automatic structures their domains consist of infinite strings (trees), and the basic relation...
106
click to vote
LICS
2008
IEEE
15 years 10 months ago
2008
IEEE
We propose a setting in which the search for a proof of B or a refutation of B (a proof of ¬B) can be carried out simultaneously: this is in contrast to the usual approach in aut...
141
Voted
LICS
2008
IEEE
15 years 10 months ago
2008
IEEE
Kleene algebra with tests (KAT) is an equational system for program verification that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...
128
click to vote
MUE
2008
IEEE
15 years 10 months ago
2008
IEEE
Detection of gait characteristics has found considerable interest in field of biomechanics and rehabilitation sciences. In this paper an approach for abnormal gait detection emplo...