1686 search results - page 323 / 338 » Programs as polygraphs: computability and complexity |
174
click to vote
EMSOFT
2004
Springer
15 years 11 months ago
2004
Springer
Embedded devices like smart cards can now run multiple interacting applications. A particular challenge in this domain is to dynamically integrate diverse security policies. In th...
186
click to vote
IMC
2003
ACM
15 years 11 months ago
2003
ACM
In this paper, we consider the problem of how to represent the locations of Internet hosts in a Cartesian coordinate system to facilitate estimate of the network distance between ...
180
click to vote
BROADNETS
2004
IEEE
15 years 9 months ago
2004
IEEE
Channel-aware scheduling and link adaptation (LA) methods are widely considered to be crucial for realizing high data rates in wireless networks. Multi-carrier systems that spread...
183
click to vote
KBSE
2000
IEEE
15 years 9 months ago
2000
IEEE
c specifications provide a powerful method for the specification of abstract data types in programming languages and software systems. Completeness and ground confluence are fundam...
154
click to vote
NOSSDAV
1991
Springer
15 years 9 months ago
1991
Springer
One of the most important emerging developments for improving the user/computer interface has been the addition of multimedia facilities to high-performance workstations. Although...