9821 search results - page 353 / 1965 » A Framework for the Development of Protocols |
179
click to vote
TAICPART
2006
IEEE
16 years 27 days ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
177
click to vote
MINAR
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Video has become an essential component of multimedia applications nowadays. To support multimedia and video applications efciently, video objects must be modeled and str...
214
click to vote
CIKM
2000
Springer
15 years 10 months ago
2000
Springer
Geographic Information Systems (GISs) have become an essential tool for efficient handling of our natural and artificial environment. The most important activities in a GIS are qu...
231
click to vote
DAIS
2008
15 years 8 months ago
2008
Context management in pervasive computing environments must reflect the specific characteristics of these environments, e.g. distribution, mobility, resource-constrained devices, o...
153
click to vote
DOA
2001
15 years 8 months ago
2001
Adaptation of distributed software to maintain the best possible application performance in the face of changes in available resources is an increasingly important and complex pro...