10038 search results - page 1579 / 2008 » Model Checking for Managers |
151
click to vote
ECTEL
2007
Springer
16 years 27 days ago
2007
Springer
This paper proposes a model-driven, extensible platform, delivered on the Web, which is able to support long-distance collaboration of students’ teams working on complex projects...
165
click to vote
GECCO
2007
Springer
16 years 27 days ago
2007
Springer
We are developing an adaptive reminding system, which learns when and how to present notifications. In this paper, we focus on our XCS-based model, composed of two cascaded sets ...
155
click to vote
MTSR
2007
Springer
16 years 26 days ago
2007
Springer
In this paper, we discuss long-term digital preservation from an information perspective, rather than the predominant approaches; the Archival and the Technocratic Approach. Inform...
177
click to vote
OOPSLA
2007
Springer
16 years 26 days ago
2007
Springer
DigitalAssets Discoverer is a tool that implements a group of indicators for automatic identification of software components that can be reused in the development of new applicati...
190
click to vote
OTM
2007
Springer
16 years 26 days ago
2007
Springer
Scientists are increasingly utilizing Grids to manage large data sets and execute scientific experiments on distributed resources. Scientific workflows are used as means for modeli...