Sciweavers

423 search results - page 47 / 85
» Specifying Strategies for Exercises
Sort
View
CACM
2010
162views more  CACM 2010»
14 years 10 months ago
Understanding the dynamics of information management costs
As data volumes rise and retention periods increase, the appearance of "better, faster and cheaper" storage infrastructure seems like an all-encompassing solution to con...
Paul P. Tallon
ENTCS
2008
135views more  ENTCS 2008»
14 years 10 months ago
Formal Specification Generation from Requirement Documents
Automatic generation of formal specifications from requirement reduces cost and complexity of formal models creation. Thus, the generated formal model brings the possibility to ca...
Gustavo Cabral, Augusto Sampaio
CLEIEJ
2006
108views more  CLEIEJ 2006»
14 years 10 months ago
Quality in Development Process for Software Factories According to ISO 15504
Currently the concept of Software Factories (SF), where reuse plays a leading role, is being adopted. Due to the different approaches in this area, and although SF concept is not ...
Kenyer Domínguez, María A. Pé...
ALGORITHMICA
2000
65views more  ALGORITHMICA 2000»
14 years 9 months ago
A Simultaneous Search Problem
We introduce a new search problem motivated by computational metrology. The problem is as follows: we would like to locate two unknown numbers x, y [0, 1] with as little uncertain...
Ee-Chien Chang, Chee-Keng Yap
TSMC
1998
109views more  TSMC 1998»
14 years 9 months ago
Using graph parsing for automatic graph drawing
: This paper presents a procedure for automatically drawing directed graphs. Our system, CG, uses a unique clan-based graph decomposition to determine intrinsic substructures (clan...
Carolyn McCreary, Richard Chapman, Fwu-Shan Shieh