10038 search results - page 1821 / 2008 » Model Checking for Managers |
127
click to vote
OOPSLA
1998
Springer
15 years 8 months ago
1998
Springer
With the spread of the Internet the computing model on server systems is undergoing several important changes. Recent research ideas concerning dynamic operating system extensibil...
141
click to vote
POS
1998
Springer
15 years 8 months ago
1998
Springer
In light of advances in processor and networking technology, especially the emergence of network attached disks, the traditional client-server architecture becomes suboptimal for ...
177
click to vote
SPATIALCOGNITION
1998
Springer
15 years 8 months ago
1998
Springer
Spatial orientation strongly relies on visual and whole-body information available while moving through space. As virtual environments allow to isolate the contribution of visual i...
228
click to vote
WWCA
1998
Springer
15 years 8 months ago
1998
Springer
In an open network such as the Internet, multicast security services typically start with group session-key distribution. Considering scalability for group communication among wide...
128
click to vote
APN
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. Inheritance is one of the key issues of object-orientation. The inheritance mechanism allows for the definition of a subclass which inherits the features of a specific ...