5547 search results - page 822 / 1110 » Software Variability Management |
218
click to vote
JSAT
2010
15 years 1 months ago
2010
Sat4j is a mature, open source library of SAT-based solvers in Java. It provides a modular SAT solver architecture designed to work with generic constraints. Such architecture is ...
188
click to vote
TPDS
2010
15 years 1 months ago
2010
Different distributed real-time systems (DRS) must handle aperiodic and periodic events under diverse sets of requirements. While existing middleware such as Real-Time CORBA has sh...
172
click to vote
AQUILEIA
2011
14 years 6 months ago
2011
Basic ideas are presented of a multi-national research project to share data about the Roman city of Aquileia employing the Information and Communication Technologies (ICT). A Cons...
260
click to vote
SIGMOD
2012
ACM
13 years 9 months ago
2012
ACM
Computational experiments have become an integral part of the scientific method, but reproducing, archiving, and querying them is still a challenge. The first barrier to a wider...
266
click to vote
ICDE
2009
IEEE
16 years 8 months ago
2009
IEEE
Over recent years there has been increased level of discussion on utility pricing for software. The focus of these discussions is to create new operating cost models where the unit...