Sciweavers

1703 search results - page 275 / 341
» Model interoperability via Model Driven Development
Sort
View
PODS
2006
ACM
104views Database» more  PODS 2006»
16 years 2 months ago
Tractable database design through bounded treewidth
Given that most elementary problems in database design are NP-hard, the currently used database design algorithms produce suboptimal results. For example, the current 3NF decompos...
Georg Gottlob, Reinhard Pichler, Fang Wei
113
Voted
FOCS
2005
IEEE
15 years 8 months ago
Safraless Decision Procedures
The automata-theoretic approach is one of the most fundamental approaches to developing decision procedures in mathematical logics. To decide whether a formula in a logic with the...
Orna Kupferman, Moshe Y. Vardi
ICWL
2005
Springer
15 years 8 months ago
P2P Video Synchronization in a Collaborative Virtual Environment
We have previously developed a collaborative virtual environment (CVE) for small-group virtual classrooms, intended for distance learning by geographically dispersed students. The...
Suhit Gupta, Gail E. Kaiser
159
Voted
KES
2005
Springer
15 years 8 months ago
Design of a Digital Forensics Image Mining System
Increasing amount of illicit image data transmitted via the internet has triggered the need to develop effective image mining systems for digital forensics purposes. This paper dis...
Ross Brown, Binh Pham, Olivier Y. de Vel
ICWS
2009
IEEE
15 years 11 months ago
A Tool for Choreography Analysis Using Collaboration Diagrams
Analyzing interactions among peers that interact via messages is a crucial problem due to increasingly distributed nature of current software systems, especially the ones built us...
Tevfik Bultan, Chris Ferguson, Xiang Fu