Sciweavers

6047 search results - page 1061 / 1210
» A Scenario Construction Process
Sort
View
DOCENG
2008
ACM
15 years 8 months ago
Merging changes in XML documents using reliable context fingerprints
Different dialects of XML have emerged as ubiquitous document exchange formats. For effective collaboration based on such documents, the capability to propagate edit operations pe...
Sebastian Rönnau, Christian Pauli, Uwe M. Bor...
176
Voted
ERLANG
2008
ACM
15 years 8 months ago
Testing Erlang data types with quviq quickcheck
When creating software, data types are the basic bricks. Most of the time a programmer will use data types defined in library modules, therefore being tested by many users over ma...
Thomas Arts, Laura M. Castro, John Hughes
205
Voted
AMR
2008
Springer
285views Multimedia» more  AMR 2008»
15 years 8 months ago
Music Thumbnailing Incorporating Harmony- and Rhythm Structure
A variety of approaches exist to the automatic retrieval of the key part within a musical piece - its thumbnail. Most of these however do not use adequate modeling with respect to ...
Björn Schuller, Florian Dibiasi, Florian Eybe...
202
Voted
IESA
2007
15 years 8 months ago
Formalizing the OPAL eBusiness ontology design patterns with OWL
Domain ontology building is one of the most critical activities required in Semantic Web applications. The task must be performed by domain experts, who do not (generally) have the...
Fulvio D'Antonio, Michele Missikoff, Francesco Tag...
202
Voted
FMICS
2008
Springer
15 years 8 months ago
Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators
Lustre is a formal synchronous declarative language widely used for modeling and specifying safety-critical applications in the elds of avionics, transportation or energy productio...
Virginia Papailiopoulou, Laya Madani, Lydie du Bou...
« Prev « First page 1061 / 1210 Last » Next »