3228 search results - page 400 / 646 » Computationally Sound Proofs |
CSE
2009
IEEE
15 years 7 months ago
2009
IEEE
This paper presents an algorithm to perform the broadcasting of a packet to all the peers that are located into a convex region (Area of Interest) in a Voronoi based peer-topeer ne...
129
Voted
HUC
2007
Springer
15 years 7 months ago
2007
Springer
Securing interactions between devices that do not know each other a priori is an important and challenging task. We present Amigo, a technique to authenticate co-located devices us...
127
Voted
BIRTHDAY
2006
Springer
15 years 7 months ago
2006
Springer
We describe a gate level design of a FlexRay-like bus interface. An electronic control unit (ECU) is obtained by integrating this interface into the design of the verified VAMP pro...
107
Voted
BIRTHDAY
2006
Springer
15 years 7 months ago
2006
Springer
The article is meant to be kind of the author's manifesto for the role of logic and deduction within Intellectics. Based on a brief analysis of this role the paper presents a...
129
Voted
CIE
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Graph isomorphism (GI) is one of the few remaining problems in NP whose complexity status couldn't be solved by classifying it as being either NP-complete or solvabl...