Sciweavers

279 search results - page 28 / 56
» 20 Years of ECM
Sort
View
BIRTHDAY
2005
Springer
14 years 28 days ago
Timing the Untimed: Terminating Successfully While Being Conservative
Abstract. There have been several timed extensions of ACP-style process algebras with successful termination. None of them, to our knowledge, are equationally conservative (ground-...
Jos C. M. Baeten, Mohammad Reza Mousavi, Michel A....
BTW
2005
Springer
107views Database» more  BTW 2005»
14 years 28 days ago
DBMS Architecture - Still an Open Problem
More than two decades ago, DB researchers faced up to the question of how to design a data-independent database management system (DBMS), that is, a DBMS which offers an appropriat...
Theo Härder
ESA
2004
Springer
96views Algorithms» more  ESA 2004»
14 years 24 days ago
An Experimental Study of Random Knapsack Problems
The size of the Pareto curve for the bicriteria version of the knapsack problem is polynomial on average. This has been shown for various random input distributions. We experimenta...
René Beier, Berthold Vöcking
EWCBR
2004
Springer
14 years 24 days ago
Maintaining Case-Based Reasoning Systems: A Machine Learning Approach
Over the years, many successful applications of case-based reasoning (CBR) systems have been developed in different areas. The performance of CBR systems depends on several factor...
Niloofar Arshadi, Igor Jurisica
UML
2004
Springer
14 years 22 days ago
Software Architecture Description and UML
The description of software architectures has always been concerned with the definition of the appropriate languages for designing the various architectural artifacts. Over the pa...
Paris Avgeriou, Nicolas Guelfi, Nenad Medvidovic