828 search results - page 160 / 166 » Software engineering research: from cradle to grave |
WWW
2005
ACM
15 years 5 months ago
2005
ACM
Integrating web sites to provide more efficient services is a very promising way in the Internet. For example searching house for rent based on train system or preparing a holiday...
FSTTCS
2005
Springer
15 years 5 months ago
2005
Springer
Much recent research has focused on the applications of games with ω-regular objectives in the control and verification of reactive systems. However, many of the game-based model...
BMCBI
2005
14 years 11 months ago
2005
Background: The ESTree db http://www.itb.cnr.it/estree/ represents a collection of Prunus persica expressed sequenced tags (ESTs) and is intended as a resource for peach functiona...
134
click to vote
EUROSYS
2010
ACM
15 years 5 months ago
2010
ACM
The deluge of huge data sets such as those provided by
sensor networks, online transactions, and the web provide
exciting opportunities for data analysis. The scale of the
data ...
128
click to vote
FOSSACS
2009
Springer
15 years 6 months ago
2009
Springer
In this essay we discuss the origin, central results, and some perspectives of algorithmic synthesis of nonterminating reactive programs. We recall the fundamental questions raised...