6829 search results - page 984 / 1366 » Quantitative Generalizations of Languages |
199
click to vote
EMSOFT
2004
Springer
16 years 7 days 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...
195
click to vote
ERLANG
2003
ACM
16 years 3 days ago
2003
ACM
The viability of implementing an in-memory database, Erlang ETS, using a relatively-new data structure, called a Judy array, was studied by comparing the performance of ETS tables...
183
click to vote
IUI
2003
ACM
16 years 3 days ago
2003
ACM
This paper describes lessons learned in developing the linguistic, cognitive, emotional, and gestural models underlying virtual human behavior in a training application designed t...
180
click to vote
PLDI
2003
ACM
16 years 3 days ago
2003
ACM
CCured is a program transformation system that adds memory safety guarantees to C programs by verifying statically that memory errors cannot occur and by inserting run-time checks...
196
click to vote
SAC
2003
ACM
16 years 3 days ago
2003
ACM
Networked embedded systems such as wireless sensor networks are usually designed to be event-driven so that they are reactive and power efficient. Programming embedded systems wit...