Sciweavers

8947 search results - page 239 / 1790
» Improving software quality
Sort
View
HICSS
2006
IEEE
120views Biometrics» more  HICSS 2006»
15 years 12 months ago
Reconciling the Irreconcilable? A Software Development Approach that Combines Agile with Formal
Unstable software requirements are common and call for Agile practices. On the other hand, quality standards and recommendations, to which companies must adhere to play in selecte...
José Gonçalo A. Oliveira Basto da Si...
DATE
2007
IEEE
136views Hardware» more  DATE 2007»
16 years 5 days ago
Compositional specification of behavioral semantics
An emerging common trend in model-based design of embedded software and systems is the adoption of Domain-Specific Modeling Languages (DSMLs). While syntax metamodeling enables th...
Kai Chen 0003, Janos Sztipanovits, Sandeep Neema
SEKE
2007
Springer
15 years 12 months ago
A Semantical Change Detection Algorithm for XML
XML diff algorithms proposed in the literature have focused on the structural analysis of the document. When XML is used for data exchange, or when different versions of a documen...
Rodrigo Cordeirodos Santos, Carmem S. Hara
COMSWARE
2006
IEEE
15 years 12 months ago
Case study on the use of SDL for specifying an IETF micro mobility protocol
—Recent protocols are become increasingly complex, and lead to further level of complexity when used in combination, often resulting in ambiguous behavior. This paper, starting f...
Telemaco Melia, Amardeo Sarma, Rui L. Aguiar, Diet...
ICMCS
2006
IEEE
117views Multimedia» more  ICMCS 2006»
15 years 12 months ago
Data Hiding for Speech Bandwidth Extension and its Hardware Implementation
Most of the current speech transmission systems are only able to deliver speech signals in a narrow frequency band. This narrowband speech is characterized by a thin and muffled ...
Fan Wu, Siyue Chen, Henry Leung