816 search results - page 80 / 164 » Abstract Barycentric Algebras |
ERSHOV
2006
Springer
14 years 22 days ago
2006
Springer
Abstract. Two formal models for description of timing attacks are presented, studied and compared with other security concepts. The models are based on a timed process algebra and ...
FROCOS
2000
Springer
14 years 20 days ago
2000
Springer
Abstract. We discuss a pragmatic approach to integrate computer algebra into proof planning. It is based on the idea to separate computation and veri cation and can thereby exploit...
HYBRID
2000
Springer
14 years 20 days ago
2000
Springer
Abstract. We define a new class of hybrid automata for which reachability is decidable--a proper superclass of the initialized rectangular hybrid automata--by taking parallel compo...
ISSAC
1995
Springer
14 years 18 days ago
1995
Springer
Abstract. In this paper we derive an algorithm that computes, for a given algebraic hyperelliptic plane curve C of genus p, p > 1, defined by a polynomial y2 = (x−λ1) · · ...
HCI
2007
13 years 10 months ago
2007
Abstract. As users become more and more demanding about the software environments they use, they need environments offering them the possibility to integrate new tools in response ...