259 search results - page 14 / 52 » Architecture and protocols for the Internet of Things: A cas... |
TPHOL
2000
IEEE
14 years 1 days ago
2000
IEEE
We provide a proof using HOL and SPIN of convergence for the Routing Information Protocol (RIP), an internet protocol based on distance vector routing. We also calculate a sharp re...
ESORICS
2010
Springer
13 years 8 months ago
2010
Springer
Norway has started to implement e-voting (over the Internet, and by using voters' own computers) within the next few years. The vulnerability of voter's computers was ide...
AH
2006
Springer
13 years 11 months ago
2006
Springer
We built a Web-based adaptive recommendation system for students to select and suggest architectural cases when they analyze "Case Study" work within the architectural de...
EMSOFT
2006
Springer
13 years 11 months ago
2006
Springer
Engine Control Systems (ECS) for automobiles have numerous variants for many manufactures and different markets. To improve development efficiency, exploiting ECS commonalities an...
DATE
2003
IEEE
14 years 29 days ago
2003
IEEE
System-on-chip (SoC) designs use bus protocols for high performance data transfer among the Intellectual Property (IP) cores. These protocols incorporate advanced features such as...