10038 search results - page 1764 / 2008 » Model Checking for Managers |
151
click to vote
SAGA
2009
Springer
15 years 11 months ago
2009
Springer
In the economical caching problem, an online algorithm is given a sequence of prices for a certain commodity. The algorithm has to manage a buffer of fixed capacity over time. We...
143
click to vote
ASPDAC
2009
ACM
15 years 11 months ago
2009
ACM
— Thermal balancing and reducing hot-spots are two important challenges facing the MPSoC designers. In this work, we model the thermal behavior of a MPSoC as a control theory pro...
159
click to vote
FDG
2009
ACM
15 years 11 months ago
2009
ACM
Engineering education has evolved from providing students solely with technical skills to providing them with courses that provide students with the non-technical “soft skills...
144
click to vote
SIGDOC
2009
ACM
15 years 11 months ago
2009
ACM
This poster presents ongoing research on how discursive and editing behaviors are regulated on Wikipedia by means of documented rules and practices. Our analysis focuses on three ...
167
click to vote
EDBTW
2010
Springer
15 years 11 months ago
2010
Springer
There has been lately an increased activity of publishing structured data in RDF due to the activity of the Linked Data community1 . The presence on the Web of such a huge informa...