Sciweavers

2154 search results - page 146 / 431
» Evidence-based software production
Sort
View
CCGRID
2009
IEEE
15 years 11 months ago
GenLM: License Management for Grid and Cloud Computing Environments
—Software license management allows independent software vendors (ISVs) to control the access of their products. It is a fundamental part of the ISVs’ business strategy. A wide...
Mathias Dalheimer, Franz-Josef Pfreundt
IFIP
1993
Springer
15 years 8 months ago
Plant Engineering: Conceptual Modeling and Modular Design of a Computer Aided Environment
When designing a plant for continuous or semi-continuous processes, such as paper pulp or petrochemical production systems, engineers face very complex tasks, which are only in pa...
Cláudio Walter, José Palazzo M. de O...
IJCAI
2003
15 years 5 months ago
Integrating Information, Applications and Services on the Web
This is a position paper that describes a long-term ongoing research project that is being developed at ITESM. The project is called Bymx. The aim of Bymx is to integrate informat...
Juan C. Lavariega, Lorena G. Gomez-Martinez
EMSOFT
2011
Springer
14 years 4 months ago
From boolean to quantitative synthesis
Motivated by improvements in constraint-solving technology and by the increase of routinely available computational power, partial-program synthesis is emerging as an effective a...
Pavol Cerný, Thomas A. Henzinger
CGI
2003
IEEE
15 years 9 months ago
Visualization of Musical Pitch
We have created software that shows a musician the pitch of the notes he or she is playing or singing, in real time and very accurately. This is useful as a teaching aid for begin...
Philip McLeod, Geoff Wyvill