17054 search results - page 3030 / 3411 » Logics of Dynamical Systems |
194
click to vote
VMCAI
2004
Springer
16 years 6 days ago
2004
Springer
Typed Assembly Languages (TALs) can be used to validate the safety of assembly-language programs. However, typing rules are usually trusted as axioms. In this paper, we show how to...
198
click to vote
BIBE
2003
IEEE
16 years 5 days ago
2003
IEEE
The tertiary (3D) structure of a protein contains the essential information for understanding the biological function of the protein at the molecular and cellular levels. Traditio...
209
click to vote
SISW
2003
IEEE
16 years 4 days ago
2003
IEEE
— Smart cards are widely known for their tamper resistance, but only contain a small amount of memory. Though very small, this memory often contains highly valuable information (...
213
click to vote
MM
2003
ACM
16 years 4 days ago
2003
ACM
Real-time content-based access to live video data requires content analysis applications that are able to process the video data at least as fast as the video data is made availab...
167
click to vote
WWW
2003
ACM
16 years 3 days ago
2003
ACM
This article presents the semantic portal MUSEUMFINLAND for publishing heterogeneous museum collections on the Semantic Web. It is shown how museums with their semantically rich a...