305 search results - page 52 / 61 » From Sets to Bits in Coq |
MOBICOM
2004
ACM
14 years 4 months ago
2004
ACM
Future vehicular networks are expected to deploy shortrange communication technology for inter-vehicle communication. In addition to vehicle-to-vehicle communication, users will b...
RTCSA
2000
IEEE
14 years 3 months ago
2000
IEEE
A common computational model in distributed embedded systems is that the nodes exchange signals via a network. Most often a signal represents the state of some physical device and...
MAS
1998
Springer
14 years 3 months ago
1998
Springer
Abstract. Many programming languages have been developed and implemented for mobile code environments. They are typically quite expressive. But while security is an important aspec...
CANDC
2005
ACM
14 years 26 days ago
2005
ACM
Edward Ihnatowicz (1926-1988) built one of the world’s first computer-controlled robotic sculptures, The Senster, in 196870. Rather than concentrate entirely on this groundbreak...
POPL
2003
ACM
14 years 11 months ago
2003
ACM
Multimedia and network processing applications make extensive use of subword data. Since registers are capable of holding a full data word, when a subword variable is assigned a r...