Sciweavers

816 search results - page 35 / 164
» Practical Multi-level Modeling on MOF-compliant Modeling Fra...
Sort
View
ASPDAC
2010
ACM
137views Hardware» more  ASPDAC 2010»
14 years 7 months ago
Managing verification error traces with bounded model debugging
Managing long verification error traces is one of the key challenges of automated debugging engines. Today, debuggers rely on the iterative logic array to model sequential behavior...
Sean Safarpour, Andreas G. Veneris, Farid N. Najm
DCC
2006
IEEE
15 years 9 months ago
Modeling Delta Encoding of Compressed Files
Abstract. The Compressed Delta Encoding paradigm is introduced, i.e., delta encoding directly in two given compressed files without decompressing. Here we explore the case where th...
Shmuel Tomi Klein, Tamar C. Serebro, Dana Shapira
IJLIT
2007
60views more  IJLIT 2007»
14 years 9 months ago
Disrupting Conventional Law Firm Business Models using Document Assembly
Document assembly software is a technology that is fundamental to disrupting law firms. This article uses the framework set out by Clayton Christensen in The Innovator’s Dilemma...
Darryl R. Mountain
MMS
2008
14 years 9 months ago
Process modeling for new media artworks
Practices in new media art pose very interesting challenges to the multimedia research community in terms of software tools development, usage of media technologies or documentatio...
Brigitte Kerhervé, Olivier Gerbé, Pa...
IJDET
2010
123views more  IJDET 2010»
14 years 7 months ago
An Adaptive Course Generation Framework
: Existing adaptive e-learning methods are supported by student (user) profiling for capturing student characteristics, and course structuring for organizing learning materials acc...
Frederick W. B. Li, Rynson W. H. Lau, Parthiban Dh...