3228 search results - page 424 / 646 » Computationally Sound Proofs |
166
click to vote
VSMM
2007
Springer
16 years 21 days ago
2007
Springer
Nowadays, more Virtual Environments (VEs) are becoming available on the Web. This means that VEs are becoming accessible to a larger and more diverse audience. It also means that i...
170
click to vote
DATE
2006
IEEE
16 years 20 days ago
2006
IEEE
Enhancing productivity for designing complex embedded systems requires system level design methodology and language support for capturing complex design in high level models. For ...
149
click to vote
ICMCS
2006
IEEE
16 years 19 days ago
2006
IEEE
Abstract— Driven by the recent advances in digital entertainment technologies, digital multimedia content (such as music and movies) is becoming a major part of the average compu...
180
click to vote
SUTC
2006
IEEE
16 years 18 days ago
2006
IEEE
Taking advantage of the delay tolerance for objects tracking sensor networks, we propose delay-tolerant trajectory compression (DTTC) technique, an efficient and accurate algorit...
194
click to vote
ACMSE
2006
ACM
16 years 17 days ago
2006
ACM
If we classify the variables of a program into various security levels, then a secure information flow analysis aims to verify statically that information in the program can flo...