Sciweavers

270 search results - page 39 / 54
» The Automated Text Adaptation Tool
Sort
View
ICCS
2005
Springer
14 years 28 days ago
Semi-automated Simulation Transformation for DDDAS
Ultimate DDDAS success demands that DDDAS simulations be increasingly reconfigurable and adaptable to a growing variety of runtime sensor feedback. Because we expect a simulation...
David C. Brogan, Paul F. Reynolds Jr., Robert G. B...
ARTS
1999
Springer
13 years 11 months ago
Proof Assistance for Real-Time Systems Using an Interactive Theorem Prover
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...
Paul Z. Kolano
CSMR
2006
IEEE
13 years 9 months ago
Search-Based Software Maintenance
The high cost of software maintenance could potentially be greatly reduced by the automatic refactoring of object-oriented programs to increase their understandability, adaptabili...
Mark Kent O'Keeffe, Mel Ó Cinnéide
INFSOF
2000
122views more  INFSOF 2000»
13 years 7 months ago
Component mining: a process and its pattern language
An important issue in a component-based software development process is the supply source of mature, reliable, adaptable, and maintainable components. We define as component minin...
Diomidis Spinellis, K. Raptis
DOCENG
2004
ACM
14 years 25 days ago
Techniques for authoring complex XML documents
This paper reviews the main innovations of XML and considers their impact on the editing techniques for structured documents. Namespaces open the way to compound documents; well-f...
Vincent Quint, Irène Vatton