12981 search results - page 2358 / 2597 » Model Checking (Abstract) |
142
click to vote
ECOOP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. The paradigm shift in processor design from monolithic processors to multicore has renewed interest in programming models that facilitate parallelism. While multicores ar...
150
click to vote
ECTEL
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. A lot of research has been done to promote and develop good elearning models, practices, and technological environments. However, fewer efforts were deployed to support e...
125
click to vote
ER
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Methodologies are one of the most significant key factors to the success of project development. Since there is no single methodology that can be uniquely pointed as &quo...
153
click to vote
ESORICS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. The goal of Steganographic File Systems (SFSs) is to protect users from coercion attacks by providing plausible deniability on the existence of hidden files. We consider ...
139
click to vote
EURONGI
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. The integration of mobile ad hoc networks into IP-based access networks demands the presence of a gateway which is responsible for propagating some configuration paramete...