5547 search results - page 799 / 1110 » Software Variability Management |
135
click to vote
ADBIS
2007
Springer
16 years 25 days ago
2007
Springer
Replication is crucial to achieve high availability distributed systems. However, non-determinism introduces consistency problems between replicas. Transactions are very well suite...
161
click to vote
CC
2007
Springer
16 years 24 days ago
2007
Springer
Reference counting is a classical garbage collection method. Recently, a series of papers have extended the basic method to drastically reduce its notorious overhead and extend the...
180
click to vote
CIVR
2007
Springer
16 years 24 days ago
2007
Springer
In this paper, we outline some of the main challenges facing trademark searchers today, and discuss the extent to which current automated systems are meeting those challenges. Cat...
167
click to vote
FSEN
2007
Springer
16 years 24 days ago
2007
Springer
This paper shows how a machine-code Hoare logic is used to lift reasoning from the tedious operational model of a machine lana manageable level of abstraction without making simpli...
171
click to vote
IFIP
2007
Springer
16 years 23 days ago
2007
Springer
The paper describes a conceptual framework for model-driven development based on concise application of UML and modeling tool functionality. A case study of modeling software for l...