1023 search results - page 166 / 205 » Renaissance: A Method to Support Software System Evolution |
134
click to vote
EUROSYS
2006
ACM
15 years 11 months ago
2006
ACM
The database tier of dynamic content servers at large Internet sites is typically hosted on centralized and expensive hardware. Recently, research prototypes have proposed using d...
120
click to vote
WCET
2010
14 years 12 months ago
2010
Safe and tight worst-case execution times (WCETs) are important when scheduling hard realtime systems. This paper presents METAMOC, a modular method, based on model checking and s...
111
click to vote
FASE
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Coalgebra has in recent years been recognized as the framework of choice for the treatment of reactive systems at an appropriate level of generality. Proofs about the rea...
124
click to vote
INFFUS
2006
15 years 1 months ago
2006
Fusionplex is a system for integrating multiple heterogeneous and autonomous information sources that uses data fusion to resolve factual inconsistencies among the individual sour...
PDC
2004
ACM
15 years 7 months ago
2004
ACM
How can the documentation of concepts for complex sociotechnical systems, such as the adoption of groupware, be incorporated into practices of PD? Documents are important in suppo...