2500 search results - page 349 / 500 » Specifying Behavior in C |
139
Voted
ICDCS
2006
IEEE
15 years 9 months ago
2006
IEEE
The Internet is a hierarchical architecture comprising heterogeneous entities of privately owned infrastructures, where higher level Internet service providers (ISPs) supply conne...
133
Voted
C5
2005
IEEE
15 years 9 months ago
2005
IEEE
Croquet [11,12] is a collaborative 3D platform that allows users to work together to create and share ideas. From the beginning we have worked to ensure that the Croquet interface...
124
Voted
GLVLSI
2005
IEEE
15 years 9 months ago
2005
IEEE
Embedded software is a preferred choice for implementing system functionality in modern System-on-Chip (SoC) designs, due to the high flexibility, and lower engineering costs pro...
132
Voted
SPAA
2010
ACM
15 years 8 months ago
2010
ACM
This paper studies non-cryptographic authenticated broadcast in radio networks subject to malicious failures. We introduce two protocols that address this problem. The first, Nei...
130
click to vote
EMSOFT
2009
Springer
15 years 8 months ago
2009
Springer
Embedded systems such as smart cards or sensors are now widespread, but are often closed systems, only accessed via dedicated terminals. A new trend consists in embedding Web serv...