Sciweavers

15783 search results - page 3073 / 3157
» Evidence-Based Software Engineering
Sort
View
CORR
2010
Springer
144views Education» more  CORR 2010»
13 years 9 months ago
Algorithmic Verification of Single-Pass List Processing Programs
We introduce streaming data string transducers that map input data strings to output data strings in a single left-to-right pass in linear time. Data strings are (unbounded) seque...
Rajeev Alur, Pavol Cerný
AEI
2006
101views more  AEI 2006»
13 years 9 months ago
Design issues for assistive robotics for the elderly
The worldwide population of elderly people is growing rapidly and in the coming decades the proportion of older people in the developed countries will change significantly. This d...
Qinggang Meng, Mark H. Lee
BMCBI
2006
117views more  BMCBI 2006»
13 years 9 months ago
Gene Designer: a synthetic biology tool for constructing artificial DNA segments
Background: Direct synthesis of genes is rapidly becoming the most efficient way to make functional genetic constructs and enables applications such as codon optimization, RNAi re...
Alan Villalobos, Jon E. Ness, Claes Gustafsson, Je...
CN
2006
109views more  CN 2006»
13 years 9 months ago
Quality of service provisioning for composable routing elements
Quality of service (QoS) provisioning for dynamically composable software elements in a programmable router has not received much attention. We present a router platform that supp...
Seung Chul Han, Puneet Zaroo, David K. Y. Yau, Yu ...
IJWIS
2007
111views more  IJWIS 2007»
13 years 8 months ago
Monitoring the "health" status of open source web-engineering projects
—In response to the increasing number of open source software (OSS) project initiatives and the increasing demand of OSS products as alternative solutions by industries, it is im...
Dindin Wahyudin, Khabib Mustofa, Alexander Schatte...
« Prev « First page 3073 / 3157 Last » Next »