10038 search results - page 667 / 2008 » Model Checking for Managers |
204
click to vote
EAGC
2004
Springer
16 years 26 days ago
2004
Springer
One of the goals of the EU CrossGrid project is to provide a basis for supporting the efficient execution of parallel and interactive applications on Grid environments. CrossGrid j...
219
click to vote
EUROMICRO
1999
IEEE
15 years 11 months ago
1999
IEEE
Short development life cycles, the importance of timeto-market and fast changes in technology influence the requirements engineering process. Requirements are exposed to changes d...
212
click to vote
CIKM
1997
Springer
15 years 11 months ago
1997
Springer
: In the context of knowledge management, we focus on the representation and the retrieval of past experiences called cases within the Case-Based Reasoning (CBR) paradigm. CBR is a...
220
click to vote
CCGRID
2007
IEEE
15 years 11 months ago
2007
IEEE
Database storage management in clustered storage environments is a manual, time-consuming, and error-prone task. Such management involves regular movement of database objects acro...
184
click to vote
ESTIMEDIA
2006
Springer
15 years 11 months ago
2006
Springer
Increasingly more MPSoC platforms are being developed to meet the rising demands from concurrently executing applications. These systems are often heterogeneous with the use of de...