Sciweavers

10274 search results - page 1750 / 2055
» Lean Software Development
Sort
View
FSTTCS
2005
Springer
16 years 6 days ago
Reasoning About Quantum Knowledge
We construct a formal framework for investigating epistemic and temporal notions in the context of distributed quantum systems. While we rely on structures developed in [DDKP05], w...
Ellie D'Hondt, Prakash Panangaden
FSTTCS
2005
Springer
16 years 6 days ago
The Set Cover with Pairs Problem
Abstract. We consider a generalization of the set cover problem, in which elements are covered by pairs of objects, and we are required to find a minimum cost subset of objects th...
Refael Hassin, Danny Segev
GPCE
2005
Springer
16 years 6 days ago
FeatureC++: On the Symbiosis of Feature-Oriented and Aspect-Oriented Programming
Abstract. This paper presents FeatureC++, a novel language extension to C++ that supports Feature-Oriented Programming (FOP) and Aspect-Oriented Programming (AOP). Besides well-kno...
Sven Apel, Thomas Leich, Marko Rosenmüller, G...
GPCE
2005
Springer
16 years 6 days ago
Applying a Generative Technique for Enhanced Genericity and Maintainability on the J2EE Platform
One of the themes in building reusable and maintainable software is identifying similarities and designing generic solutions to unify similarity patterns. In this paper, we analyze...
Yang Jun, Stan Jarzabek
ICESS
2005
Springer
16 years 6 days ago
AMT6: End-to-End Active Measurement Tool for IPv6 Network
Since IPv6 has more benefits over IPv4, the development and deployment of the IPv6 protocol-based products are currently taking place and the migration of IPv4 to IPv6 has also be...
Jahwan Koo, Seong-Jin Ahn
« Prev « First page 1750 / 2055 Last » Next »