6020 search results - page 408 / 1204 » A New Approach to Model Counting |
189
click to vote
CSMR
2006
IEEE
16 years 28 days ago
2006
IEEE
Software-intensive systems evolve continuously under the pressure of new and changing requirements, generally leading to an increase in overall system complexity. In this respect,...
220
Voted
ECBS
2010
IEEE
15 years 11 months ago
2010
IEEE
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
198
Voted
WSC
2008
15 years 9 months ago
2008
The global health, threatened by emerging infectious diseases, pandemic influenza, and biological warfare, is becoming increasingly dependent on the rapid acquisition, processing,...
157
Voted
MKWI
2008
15 years 8 months ago
2008
: An important goal of workflow engines is to simplify the way in which the interaction of workflows and software components (or services) is described and implemented. The vision ...
169
Voted
EENERGY
2010
15 years 8 months ago
2010
Energy efficient networks are becoming a hot research topic, and the networking community is increasingly devoting its attention to the identification of approaches to save energy...