973 search results - page 171 / 195 » Construction of a Semantic Model for a Typed Assembly Langua... |
IWSEC
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Pairing-based cryptography (PBC) has enabled the construction of many cryptographic protocols. However, there are scenarios when PBC is too heavyweight to use, such as wh...
ER
2003
Springer
14 years 23 days ago
2003
Springer
The integration of heterogeneous legacy databases requires understanding of database structure and content. We previously developed a theoretical and software infrastructure to sup...
ICFEM
2004
Springer
14 years 28 days ago
2004
Springer
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...
SIGGRAPH
2010
ACM
14 years 1 days ago
2010
ACM
High-order and regularly sampled surface representations are more efficient and compact than general meshes and considerably simplify many geometric modeling and processing algor...
JAIR
2007
13 years 7 months ago
2007
It is well known that utterances convey a great deal of information about the speaker in addition to their semantic content. One such type of information consists of cues to the s...