Sciweavers

841 search results - page 47 / 169
» Designers Need End-User Software Engineering
Sort
View
EMSOFT
2011
Springer
13 years 9 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
ICSM
2007
IEEE
15 years 4 months ago
Design recovery and maintenance of build systems
The build system forms an indispensable part of any software project. It needs to evolve in parallel with the source code in order to build, test and install the software. Unfortu...
Bram Adams, Herman Tromp, Kris De Schutter, Wolfga...
IWSAS
2001
Springer
15 years 2 months ago
Design Principles for Resource Management Systems for Intelligent Spaces
The idea of ubiquitous computing and smart environments is no longer a dream and has long become a serious area of research and soon this technology will start entering our every d...
Krzysztof Gajos, Luke Weisman, Howard E. Shrobe
CODES
2000
IEEE
15 years 2 months ago
Fast performance prediction for periodic task systems
During design exploration, many implementations of the same system specification may need to be evaluated. In this paper, we present an approach to construct sufficient and nece...
Xiaobo Sharon Hu, Gang Quan
ASWC
2009
Springer
14 years 7 months ago
SHARE: A Semantic Web Query Engine for Bioinformatics
Driven by the goal of automating data analyses in the field of bioinformatics, SHARE (Semantic Health and Research Environment) is a specialized SPARQL engine that resolves queries...
Benjamin P. Vandervalk, E. Luke McCarthy, Mark D. ...