Sciweavers

4126 search results - page 114 / 826
» Relationships with other Formalisms
Sort
View
ACSAC
2003
IEEE
15 years 11 months ago
Automated Analysis for Digital Forensic Science: Semantic Integrity Checking
When computer security violations are detected, computer forensic analysts attempting to determine the relevant causes and effects are forced to perform the tedious tasks of find...
Tye Stallard, Karl N. Levitt
DEXA
1999
Springer
88views Database» more  DEXA 1999»
15 years 10 months ago
Update Propagation of Replicated Data in Distributed Spatial Databases
When spatial objects are replicated at several sites in the network, the updates of a long transaction in a specific site should be propagated to the other sites for maintaining th...
Jin-oh Choi, Young Sang Shin, Bonghee Hong
NIPS
2007
15 years 7 months ago
Retrieved context and the discovery of semantic structure
Semantic memory refers to our knowledge of facts and relationships between concepts. A successful semantic memory depends on inferring relationships between items that are not exp...
Vinayak Rao, Marc Howard
ENTCS
2007
98views more  ENTCS 2007»
15 years 6 months ago
Frameworks Based on Templates for Rigorous Model-driven Development
The engineering of systems that are acceptably correct is a hard problem. On the one hand, semi-formal modelling approaches that are used in practical, large-scale system developm...
Nuno Amálio, Fiona Polack, Susan Stepney
RECOMB
2009
Springer
16 years 1 months ago
Rearrangement Models and Single-Cut Operations
Abstract. There have been many widely used genome rearrangement models, such as reversals, HannenhalliPevzner, and double-cut and join. Though each one can be precisely defined, t...
Paul Medvedev, Jens Stoye