12774 search results - page 2321 / 2555 » A Framework for Proof Systems |
281
click to vote
ERCIMDL
2010
Springer
15 years 7 months ago
2010
Springer
The Planets Testbed is an open access web application for the digital preservation community, providing an experimental framework for evaluating preservation tools and approaches i...
150
click to vote
CONEXT
2009
ACM
15 years 7 months ago
2009
ACM
The lack of automation associated with network operations in general and network configuration management in particular, is widely recognized as a significant contributing factor ...
240
click to vote
GG
2010
Springer
15 years 7 months ago
2010
Springer
Model-driven development (MDD) has become a promising trend in software engineering. The model-driven development of highly complex software systems may lead to large models which ...
181
click to vote
DGO
2009
15 years 7 months ago
2009
As e-government enters the "transformation" phase, public authorities face major challenges in terms of governance and leadership. The present article consolidates prior...
203
click to vote
EMNLP
2008
15 years 7 months ago
2008
While significant effort has been put into annotating linguistic resources for several languages, there are still many left that have only small amounts of such resources. This p...