10870 search results - page 2031 / 2174 » Model Checking Programs |
108
click to vote
ELPUB
2008
ACM
15 years 3 months ago
2008
ACM
This paper describes three important pillars of publishing programs emerging at university libraries: providing a robust publishing platform, engaging the academic community in di...
115
click to vote
ESEM
2008
ACM
15 years 3 months ago
2008
ACM
Benchmarks provide an experimental basis for evaluating software engineering processes or techniques in an objective and repeatable manner. We present the FAULTBENCH v0.1 benchmar...
110
click to vote
ETFA
2008
IEEE
15 years 3 months ago
2008
IEEE
A remarkable research activity has been carried out in the past few years to support real-time applications by means of appropriate scheduling solutions. For scarcely known or hig...
BCSHCI
2007
15 years 3 months ago
2007
We seek to close the gap between software engineering (SE) and human-computer interaction (HCI) by indicating interdisciplinary interfaces throughout the different phases of SE an...
127
click to vote
CCCG
2010
15 years 3 months ago
2010
We investigate experimentally the Domatic Partition (DP) problem, the Independent Domatic Partition (IDP) problem and the Idomatic partition problem in Random Geometric Graphs (RG...